[Cobord]

But you should not be writing functions that make you think about the fact that Hask is not really a category.