Control.Isomorphism.Partial.Prim
data Iso alpha beta
inverse
apply
unapply
class IsoFunctor f
ignore
(***)
(|||)
associate
commute
unit
element
subset
iterate
distribute