Typed parameters

Types in signatures constrain the types of arguments to be passed

sub curse(Str $thing) {
    say "$thing, you are cursed";
}

curse("black hole");     # OK
curse(42);               # Type check failure