Parsing of type operators isn't quite right

They bind too tightly, 

``` purescript
StateF s ~> StateF s'
```

is not parsed as:

``` purescript
(StateF s) ~> (StateF s')
```

but instead something like:

``` purescript
StateF (s ~> StateF) s'
```
