If I search in GitLab for "checkExpectedKind" I don't fine #16635, which clearly mentions that. Why not? Thanks Simon -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190531/edcf6e1c/attachment.html>