Monads for PHP