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

[Anatoly Yakovenko]

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