Compact vs full/verbose definition of the inverse combinator/operator in Curry...