<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html><body>
<span id="mailbox-conversation"><div>I spent a few moments confused by the fact the TypeOperators was insufficient to allow the following type to be parsed</div>
<div><br></div>
<div> constA :: Arrow (~>) => b -> (a ~> b)</div>
<div><br></div>
<div>My current intuition is that since I *can* write things like</div>
<div><br></div>
<div>
<div id="mb-reply"> newtype (~>) a b = A (a -> b)</div>
<div id="mb-reply"><br></div>
<div id="mb-reply">there is clashing in the type operator space for “upper case” and “lower case” identifiers. Is it possible or advisable to mitigate this clash and provide some syntax for “type operator variables”?</div>
</div></span><div class="mailbox_signature">Joseph</div>
</body></html>