Error in core.typed ann

* -> op precedes return type

* -> does not go between args as in Haskell