| I mean that, for example, `length` will work over both strict lists | and lazy lists. It will infer the strictness of its argument through | ordinary type inference. So users have to be aware of strictness, but | they will be able to use the same functions in both cases.
I didn't understand that. You mean that 'length' will be levity-polymorphic, but 'map' will not? What are the rules for determining which is which? (Which functions, exactly, can be levity-polymorphic??? _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs