In Signature literals§
See primary documentation in context for prefix (C-like) form.
This is similar to placing type constraints on variables like my Type $var = 20;, except the $var is a definition for a routine.
my Int sub bar { 1 }; # Valid say &bar.signature # OUTPUT: «( --> Int)»
my 42 sub bad-answer { }; # This will fail.