Mutually-recursive/cyclic module imports

Ian Lynagh igloo at
Fri Aug 15 09:50:22 EDT 2008

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:


More information about the Haskell-prime mailing list