[Haskell-cafe] GHCi infers a type but refuses it as type signature

papa.eric at free.fr papa.eric at free.fr
Tue Jun 23 04:20:47 EDT 2009

> Simple: the definition of MonadState uses those extensions.

Thanks, yes it helps and explains all. :^)

I suppose then that if -XFlexibleContexts is indeed required by the standard libraries, it is a "safe" extension, meaning supported by all compilers? Are many such extensions de-facto standard that anyone can enable by default?

More information about the Haskell-Cafe mailing list