[Haskell-cafe] Confused about type seen in the wild

[Brandon Allbery]

On Thu, Apr 10, 2014 at 1:43 PM, Felipe Lessa <felipe.lessa at gmail.com>wrote:

> Em 10-04-2014 13:27, Albert Y. C. Lai escreveu:
> > My understanding is that when the type checker has to support all those
> > generalizations like ConstraintKind, DataKinds, etc etc, it becomes so
> > general that some traditional distinctions vanish.
>
> What?  Shouldn't that be a bug?
>

It "should be" but I suspect actually treating it as one is rather
difficult now that it's possible for `a` there to be a Constraint or etc.,
in which case it is on the correct side of the =>.

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140410/f417e0d7/attachment.html>