¿Es posible colocar una restricción de desigualdad en las variables de tipo de una función, a lafoo :: (a ~ b) => a -> b como enDocumentos de familia tipo GHC, ¿excepto desigualdad en lugar de igualdad?

Me doy cuenta de que posiblemente no haya una forma directa de hacer esto (ya que los documentos de ghc no enumeran ninguno, que yo sepa), pero estaría casi perplejo si esto no fuera posible de alguna manera a la luz de todo el tipo exótico -fu he estado expuesto a.