The Unreasonable Effectiveness of Monads