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

[Ashley Yakeley]

In article <20060102134354.GA15796 at abridgegame.org>,
 David Roundy <droundy at abridgegame.org> 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}

-- 
Ashley Yakeley, Seattle WA