Control.Functor.Fix
Functor fixpoint
data
FixF
f
outM
inW
identityBialgebraF
Bifunctor fixpoint
data
Fix
s a
identityBialgebraB
paugment
pcoaugment