Why does it have to be an enclosing pair of infix characters?

ben509 · on April 5, 2020

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.