This error message comes up when you are trying to apply certain operations to types that do not allow that operation. For example:
Trying to subtract or divide two natural numbers
Trying to compare two functions