> I'm not sure what your question is. Here (~>) belongs to the same name
> space as type variables. Remember both type contructors and data
> constructors
Oh, sorry about that! I didn't realise there was a namespace for type
variables.
> The 'other' case doesn't distinguish operators for TvName
| I want to use OccName.isSymOcc to test wether a type constructor is an
| operator or not. But it seems to assume that type operators are always
| consyms. I'm wondering if this is a bug, since GHC accepts the following
| code:
|
| newtype Flip (~>) b a = Flip { unFlip :: a ~> b }
I'm not sure wh