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

Anatoly Yakovenko aeyakovenko at gmail.com
Tue Sep 30 20:25:29 EDT 2008


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


More information about the Haskell-Cafe mailing list