Higher-Order Contracts

• Can be called in two styles:
• Imperatively:

precondition $f = sub {..}

• Functionally:

$g = precondition $f = sub {..}