The parenthesis aren't to be parsed like usual functions f(x), I think that's was the major source of confusion It's more like this, Thing<A> becomes Thing A

The parenthesis aren't to be parsed like usual functions f(x), I think that's was the major source of confusion It's more like this, Thing<A> becomes Thing A Thing<A, B> becomes Thing A B Thing<A, B, C> becomes Thing A B C The parens only appears when you want to further nest types And.. okay, I reckon that the Haskell syntax for types would be unfamiliar. But, at least, it's not as cluttered