Parametric types now accepted in function defs

However, they're not currently functional in type inference.