compLit a             b              = litConTag a `compare` litConTag b
compLit a             b              = litConTag a `compare` litConTag b
compLit a             b              = litConTag a `compare` litConTag b