Proposal: Don't require users to use undefined

Ian Lynagh igloo at
Fri Oct 29 17:41:38 EDT 2010

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.

It would be nicer if explicit foralls were used, but requiring that
would mean you can't use this syntax with most library code (e.g., you
can't use it with map), as it doesn't currently use them. I don't know
how much of a problem this would cause.


More information about the Libraries mailing list