Control.Isomorphism.Partial.Prim

data Iso alpha beta

inverse

apply

unapply

class IsoFunctor f

ignore

(***)

(|||)

associate

commute

unit

element

subset

iterate

distribute