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