Select Code to Download

  subtype 'SmallInt'
    => as 'Int'
    => where { $_ < 10 };

class Person
{
...
$bob->accept_gift($dog);         # ok
Person::accept_gift($bob, $dog); # ok
Person::accept_gift($dog);       # dies