Annotations.F.Fixpoints

Fixed points of functors

data Fix fT

compos

type Algebra fT aT

cata

type Coalgebra fT aT

ana

type ErrorAlgebra fT eT aT

cascade