changed bad explanation that conflated monads and monoids