LiftSyntax
syntax
ListF
list
lift
GAlgebra
GCoalgebra
Ops
syntax
list
data