Control.Functor.Fix

Functor fixpoint

data FixF f

Bifunctor fixpoint

data Fix s a