unapply
Failure Path Success \:
uncurry
Rule