> This could instead be enveloped by a "generic" declaration like so What would instantiation of the function look like? With the current design it is ma

> This could instead be enveloped by a "generic" declaration like so What would instantiation of the function look like? With the current design it is maxInt := Max(int) which has a positional symmetry to the declaration.