Can I get ghc to use a local definition of `>>=` and return... currently I have: {-# OPTIONS -fglasgow-exts -fno-implicit-prelude #-} module Main(main) where import qualified Prelude (Monad(..)) import Prelude hiding (Monad(..)) ... Then a definition of Monad using a Premonad for return, however when compiling do notation it produces an error saying it cannot deduce (PrelBase.Monad p) Can I force ghc to use the definition of the Monad class I have provided for do notation (IE Monad derived from Premonad derived from Prelude.Functor) Regards, Keean.