use Types::Standard qw( Object Num );
sub transfer_money {
   my $from_account = Object->assert_return( shift );
   my $to_account   = Object->assert_return( shift );
   my $amount       = Num->assert_return( shift );
   
   ...;
}