Generics.MultiRec.FoldAlgK

The type family of convenient algebras.

type family Alg f r :: *

type Algebra phi r

The class to turn convenient algebras into standard algebras.

class Fold f

Interface

fold

Construction of algebras

(&)