Generics.Regular.Functions.Fold

Generic folding

type family Alg f r :: *

type Algebra a r

class Fold f

fold

Generic unfolding

type family CoAlg f s :: *

type CoAlgebra a s

class Unfold f

unfold

Construction of algebras

(&)