[Haskell-cafe] Why were datatype contexts removed instead of "fixing them"?

Kim-Ee Yeoh ky3 at atamo.com
Thu Apr 25 13:54:33 CEST 2013


On Thu, Apr 25, 2013 at 6:36 PM, Joe Quinn <headprogrammingczar at gmail.com>wrote:

> data Foo a where
>   Foo :: Eq a => a -> Foo a
>

is equivalent to

data Foo a = Eq a => Foo a

but is different from

data Eq a => Foo a = Foo a

(Yup, tripped up a few of us already!)

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130425/19cdb96d/attachment.htm>


More information about the Haskell-Cafe mailing list