Data.Functor.Foldable.Extensions
dicata
dendro
dendroTri
micro
symplecto
chema
cataM
anaM
hyloM
class SubHom f g a b
class SubType b
class CoSubHom f g a b
class Dummy t