Category

class Category k

type Obj k a

Opposite category

data Op k a b