[Haskell-cafe] Injective type families for GHC - syntax proposals

[Brent Yorgey]

On Thu, Sep 18, 2014 at 11:02 AM, flicky frans <flickyfrans at gmail.com>
wrote:

>    Plus a b :: (result :: Nat)
>
> That looks quite unintuitive to me, since `result' reads like a
> variable of type Nat.


But isn't that exactly what it is supposed to be?

-Brent
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140918/1c053700/attachment.html>