<div dir="ltr">it was changed in 7.6 even!<div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Sep 3, 2014 at 9:19 AM, Erik Hesselink <span dir="ltr"><<a href="mailto:hesselink@gmail.com" target="_blank">hesselink@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Joseph,<br>
<br>
The type operator type variable used to be possible, but this was<br>
changed in (I think) 7.8. See the discussion in threads [0] and [1].<br>
There were some proposals for alternate syntax for operator type<br>
variables, but I don't think any of them were implemented. Currently,<br>
the best you can do is infix textual names, something like:<br>
<br>
    constA :: Arrow arr => b -> (a `arr` b)<br>
<br>
Erik<br>
<br>
[0] <a href="http://www.haskell.org/pipermail/glasgow-haskell-users/2012-January/021611.html" target="_blank">http://www.haskell.org/pipermail/glasgow-haskell-users/2012-January/021611.html</a><br>
[1] <a href="http://www.haskell.org/pipermail/glasgow-haskell-users/2012-September/022845.html" target="_blank">http://www.haskell.org/pipermail/glasgow-haskell-users/2012-September/022845.html</a><br>
<div><div class="h5"><br>
On Wed, Sep 3, 2014 at 8:03 AM, Joseph Abrahamson <<a href="mailto:me@jspha.com">me@jspha.com</a>> wrote:<br>
> I spent a few moments confused by the fact the TypeOperators was<br>
> insufficient to allow the following type to be parsed<br>
><br>
>     constA :: Arrow (~>) => b -> (a ~> b)<br>
><br>
> My current intuition is that since I *can* write things like<br>
><br>
>     newtype (~>) a b = A (a -> b)<br>
><br>
> there is clashing in the type operator space for “upper case” and “lower<br>
> case” identifiers. Is it possible or advisable to mitigate this clash and<br>
> provide some syntax for “type operator variables”?<br>
> Joseph<br>
><br>
</div></div>> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br></div>