[Haskell] Re: (small) records proposal for Haskell '06

[David Roundy]

On Mon, Jan 02, 2006 at 04:23:32PM -0800, Ashley Yakeley wrote:
> > One open question (in my mind) would be whether we'd allow
> > 
> > data Foo = FooInt { foo :: Int } | FooChar { foo :: Char }
> > 
> > In the "new" system, there's no reason this need be illegal.
> 
> How would this behave?
> 
>   data Foo a b = FooA {foo :: a} | FooB {foo :: b}

I'm not sure I understand the problem.  Why would there be any difficulty
with this?
-- 
David Roundy
http://www.darcs.net