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