-
Richard Eisenberg authored
Because typesCantMatch must also work with type functions, this requires teaching the unifier about type functions and injectivity. Also, some refactoring to use the UM monad more.
9b105c6d
Because typesCantMatch must also work with type functions, this requires teaching the unifier about type functions and injectivity. Also, some refactoring to use the UM monad more.