Syntax for typed lamdas

Help me /prog/, i'm making a language and i can't decide on what syntax to use for typed lambdas

>>17
Why would you even pass in a negative integer when it's designed to operate only on whole numbers? It's like saying the function "+" has a bug because (+ 1 "abc") screws up, when it wasn't even designed to operate on strings.