Ryan Scott authored Jan 30, 2019 and Ben Gamari committed Nov 03, 2019

We now have a top-level `tyConAppNeedsKindSig` function, which means
that we can delete lots of code in `Convert`.

(cherry picked from commit cfd682c5)