reading monads are not metaphors