Data.Foldable.Functor.Extensions

dicata

dendro

micro

symplecto

chema

cataM

class SubHom f g a b

class CoSubHom f g a b

class Dummy t