Today I tried to reduce a list of functions trough monoid typeclass but the resulting function expects its argument to be an instance of Monoid for some reason.
GHCI tells me that the type of mconcat [id, id, id, id] is Monoid a => a -> a. Yet I would expect it to be a -> a.
What is happening?