The @autoclosure monad