Separate Monad extensions in Prelude and others
Documentation on Monads