On Thu, Apr 10, 2014 at 1:43 PM, Felipe Lessa <felipe.lessa@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@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net