Idea for inline-testing and contracts for Perl method creation

gistfile1.pl

method implication =>
    applies => sub {
        my ( $class, %args ) = @_;
        return $args{'lhs'} <= $args{'rhs'};
    },
    to => {
        lhs => { isa => 'Bool', required => 1 },
        rhs => { isa => 'Bool', required => 1 },
    },
    yielding => 'Bool',
    such_that => [
        { given => { lhs => 0, rhs => 0 }, then => 1 },
        { given => { lhs => 0, rhs => 1 }, then => 1 },
        { given => { lhs => 1, rhs => 0 }, then => 0 },
        { given => { lhs => 1, rhs => 1 }, then => 1 },
    ];