Today: looking for just the right monad