GHC has moved its issue tracking and Wiki to GitLab. Come join us there!
Moved to ImpredicativePolymorphism/Impredicative-2015