Proposal: Don't require users to use undefined

[Ian Lynagh]

On Fri, Oct 29, 2010 at 10:41:38PM +0100, Ian Lynagh wrote:
> On Fri, Oct 29, 2010 at 05:25:15PM -0400, David Menendez wrote:
> > 
> > >    map ord "foo" == #map Char Int ord "foo"
> > 
> > I guess this would only work with explicit foralls, otherwise how do
> > you know which type is the Int and which is the Char?
> 
> You can do it based on the order they first appear in the type.

Actually, maybe it's not so simple once MPTCs, FDs and ATs are mixed in.

But if nothing else, requiring explicit foralls would work, anyway.


Thanks
Ian