Make sure Arrows work
Forall and PatSynBinds done