delete all mkCaseOrdering -- they are provided by appropriate combinator library