> Some people see a problem and think "I know, I'll use Haskell!" Now they have a monoid in the category of problems.