cmpTypeX _   (LitTy l1)          (LitTy l2)          = compare l1 l2
cmpTypeX _   (LitTy l1)          (LitTy l2)          = compare l1 l2
cmpTypeX _   (LitTy l1)          (LitTy l2)          = compare l1 l2