Data.Functor.Foldable.Extensions

dicata

dendro

dendroTri

micro

symplecto

chema

cataM

class SubHom f g a b

class SubType b

class CoSubHom f g a b

class Dummy t