Mutually-recursive/cyclic module imports

[Ian Lynagh]

On Fri, Aug 15, 2008 at 09:27:16AM -0400, Isaac Dupree wrote:
> Haskell-98 specifies that module import cycles work 
> automatically with cross-module type inference.
> 
> It has some weird interactions with defaulting and the 
> monomorphism restriction.  In Haskell-prime we're planning 
> on removing artificial monomorphism, but defaulting will 
> still be necessary (and can still be set differently per 
> module).

I'm not sure if defaulting actually makes this worse, but regardless, I
think we should seriously consider removing defaulting anyway:

http://hackage.haskell.org/trac/haskell-prime/wiki/Defaulting#Proposal4-removedefaulting


Thanks
Ian