Data.FixFile
class Fixed g
data Fix f
data Stored s f
type CataAlg f a
type AnaAlg f a
type ParaAlg g f a
class FixedAlg f
class FixedSub f
class FixedFunctor f
class FixedFoldable f
class FixedTraversable f
type Fixable f
class FixTraverse t
type Root r
data Ptr f
data Ref f g
data FixFile r
data Transaction r s a