C style function paramaters like int x mean the same as x:int
int x
x:int
If the type is elided, a fresh type variable is used.
Parameter qualifiers have the following meaning:
&x
{ 42 }