Converted to FP Complete Haskell Center
MonoFunctor and MonoFoldable