FoldableSafeFoldLeft

MkFoldable3

FunctorSafeMap

MkFunctor3

ff

FoldableSafeFoldLeft FunctorSafeMap

foldLeft

MkFoldable

foldRight

MkFoldable

foldable

derived

functor

derived