package travesty

on lift f lifts a binary function f using the lifter lift. It does the same thing as the `on` function from Haskell, but with arguments flipped to make sense without infixing.

conj f g lifts && over predicates f and g. It is short-circuiting: g is never called if f returns false.