-
Simon Peyton Jones authored
This unwanted unification was happening in the zonking phase which un-flattens type-function applications (TcMType.zonkFlats, try_zonk_fun_eq). The main unifier is careful to make the check, but I'd forgotten it here. That in turn led to a very confusing error message.
6ebab3df