Moving new monadic classes into Monads namespace