> [#] If we're really talking about guards, then ":" only seems natural. > > define square(x : int) : int { x * x } I like this notation a lot.