Generally, I think Type<Param, Param> is like a function call, you are applying two parameters to a generic type to get a concrete type. But, you could curry g

Generally, I think Type<Param, Param> is like a function call, you are applying two parameters to a generic type to get a concrete type. But, you could curry generic parameter application, and then have a simple operator, so it'd be Type ! Param ! Param. Thus: Map ! Str ! Int a = 5 Not sure I like that.