"Function from Nat to Nat"
"Function from Nat to Vector of 0 Int"
"Function on Type"
