Admin message

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

Do not instantiate meta variables of fixed kind to `ZonkAny` as it often leaks to users of ghc api
## Summary During zonking GHC instantiates meta variables to `ZonkAny n`. This is an implementation detail that often leaks to users via users of ghc api. Most prominently to hls. This is bad because - "zonking" is GHC specific language that is not well known to users - `ZonkAny` is not defined in any library and cannot be obtained info about, easily. It is also an implementation detail. ## Steps to reproduce E.g. check the type of `length []` with hls ![image](/uploads/f2fd3bf912d664ca10d0276c4504d8f0/image.png) ## Expected behavior Should not show `ZonkAny` but one of - an uninstantiated meta variable - a pretty printed version of `ZonkAny` that looks like a normal variable - a skolem ## Environment * GHC version used: n/a Optional: * Operating System: n/a * System Architecture: n/a
issue