The source project of this merge request has been removed.
WIP: 10789 notify user when a kind mismatch holds up a type family reduction
requested to merge (removed):10789-notify-user-when-a-kind-mismatch-holds-up-a-type-family-reduction into master