The Monad Thesis