In opposition of Functor as super-class of Monad

Brandon S Allbery KF8NH allbery at ece.cmu.edu
Sat Jan 8 01:01:39 CET 2011


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 1/5/11 00:08 , Tony Morris wrote:
> {-# LANGUAGE GeneralizedNewtypeDeriving #-}
> 
> import Prelude hiding (Monad(..), Functor(..))
(...)
> -- No instance for (GHC.Base.Monad MMaybe)

That's an artifact of hiding Prelude's Monad, not a problem with the
proposed implementation.  I think you can use RebindableSyntax to tell GHC
to use your Monad definition instead of the default?

- -- 
brandon s. allbery     [linux,solaris,freebsd,perl]      allbery at kf8nh.com
system administrator  [openafs,heimdal,too many hats]  allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university      KF8NH
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk0nqVgACgkQIn7hlCsL25WdsACgzsCHVXmkyej9yynCDzu9oFzQ
+RwAn3xG88VpKz3jpc4UW0/Mj1Zct6eR
=QAOZ
-----END PGP SIGNATURE-----



More information about the Haskell-prime mailing list