I think we should parse prefix types first and cut after the ->. It should allow syntax parse to give better error messages in many cases.