Documentation
infiniteUnificationMessage :: Type -> Type -> ErrorSource
unificationErrorMessage :: [(Type, Type)] -> ErrorSource
unsafeNameUsed :: Name -> ErrorSource
infiniteUnificationMessage :: Type -> Type -> ErrorSource
unificationErrorMessage :: [(Type, Type)] -> ErrorSource
unsafeNameUsed :: Name -> ErrorSource