Re: [Haskell-cafe] Re: having fun with GADT's

has the "with" syntax described in

http://www.haskell.org/pipermail/haskell/2005-May/015815.html

been replaced with the "where" syntax? so data Foo a where FooInt :: FooInt the same thing as data Foo A = FooInt with a = Int