number2String [notNumber] = throwError $ TypeMismatch "number" notNumber
number2String [notNumber] = throwError $ TypeMismatch "number" notNumber
number2String [notNumber] = throwError $ TypeMismatch "number" notNumber