gt and lt are curried
eq and is are curried