Be more careful in ty_co_match
I have Thought Hard, and made a few tweaks to ty_co_match. If this passes CI, merge.
It turns out that the comments were right, but the implementation was slightly wrong.
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
I have Thought Hard, and made a few tweaks to ty_co_match. If this passes CI, merge.
It turns out that the comments were right, but the implementation was slightly wrong.