The Monoid instance for ('T->'U) is currently defined as function composition.
However in Haskell is defined as a function where 'U is a Monoid, so mappend is:
mappend f g x = f x `mappend` g x
The current definition is in fact the same as the one for Endo which is another reason to consider to change it.
The Monoid instance for
('T->'U)is currently defined as function composition. However in Haskell is defined as a function where'Uis a Monoid, so mappend is:The current definition is in fact the same as the one for
Endowhich is another reason to consider to change it.