Dear GHC developers, I am Kazutaka Matsuda. I would like to report an issue with type checking. Could you approve my request for a GitLab account (kztk)? Best regards, Kazutaka Matsuda