Compare a and b lexicographically by applying each fun to them. For unary functions compares fun(a) < fun(b).
See Implementation
Compare a and b lexicographically by applying each fun to them. For unary functions compares fun(a) < fun(b).