``` poly> 1 + 5 Cannot unify types: Int with Int -> a ``` I think that the plus operator is not parsed correctly.