../ Entailment.hsRemove all use of the Error typeclass (from mtl)12 years ago Kinds.hsA start on #745 - a type for error messages12 years ago Monad.hsA start on #745 - a type for error messages12 years ago Rows.hsA start on #745 - a type for error messages12 years ago Skolems.hsA start on #745 - a type for error messages12 years ago Subsumption.hsRemove erroneous MonadPlus instance after move to ExceptT.12 years ago Synonyms.hsA start on #745 - a type for error messages12 years ago Types.hsA start on #745 - a type for error messages12 years ago Unify.hsRemove erroneous MonadPlus instance after move to ExceptT.12 years ago