Control.Allegory
class Allegory k
class UnitalAllegory k i
class Relator f k1 k2
data Map k a b