at the moment, data Pattern m = Any | Exactly m. Here, m is an element of the model, so actually a Nat. We could extend to data Pattern m = Any | LessThan m | Exactly m | GreaterThan m. Probably the following representation gives better code: data Pattern m = Pattern m Ordering; data Ordering = Any | LT | EQ | GT.
at the moment,
data Pattern m = Any | Exactly m. Here,mis an element of the model, so actually aNat. We could extend todata Pattern m = Any | LessThan m | Exactly m | GreaterThan m. Probably the following representation gives better code:data Pattern m = Pattern m Ordering; data Ordering = Any | LT | EQ | GT.