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

[Brandon Allbery]

On Wed, Sep 17, 2014 at 7:10 AM, Jan Stolarek <jan.stolarek at p.lodz.pl>
wrote:

> Use syntax similar to functional dependencies. The injectivity declaration
> begins with `|` following type family declaration head. `|` is followed by
> a
> list of comma-separated injectivity conditions. Each injectivity condition
> has
> the form:
>
> {{{
> result A -> B
> }}}
>

Was `_` considered here as the result token?

-- 
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/20140917/ea54cef2/attachment.html>