That Monads need to have really strong semicolon game if they want to explain things.