Confusing error message when universally quantifying unused type variables

[Alexander Berntsen]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

I opened a ticket[0] for the "accepting tv in ctx not mentioned in
t"-bug.

[0]  <https://ghc.haskell.org/trac/ghc/ticket/10991>
- -- 
Alexander
alexander at plaimi.net
https://secure.plaimi.net/~alexander
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCgAGBQJWJimRAAoJENQqWdRUGk8BrxMQALYy+5lMQyyjXC9NOikvsu/1
fMuIPdFcG8pCPuUVcTwSQ3WiqcHf7sfkTMXcFAhDwaEdxBsoOCuMmnLQVD+1lP8I
lC6Qht/Ykw1n+Ifdv/F6AEPYsKuZk7DWW1LMAVDimDK+gyDrUmopCwyU/qMNOuwl
KvquTHC2MOuIe/RWP6fssF2aeFbY4rnVIOuJezQbGqohgwCsbSLLU5raZCpuiL/R
mCvarhl6csZ/uQmY8p/WWosX9r3IXH/z9OF9txAEQLQ//SvHjOVg3KzErKJQcYu8
K8dqmYItbbU5u28yOg7fP+N1fn55WBbA6Z9IaNyJl+WX9wy9lxloS2Sqxor12Nr/
KeWIWncelQ18o5ZX6nccGij/EPIsOidx7Fd92nw+WF07bZBhk8PXZw7F+daNCJKB
woTlb1s6bLTsyl8wdheaVajNXMtAsVjQr9fEoB0yxLFpkj8xlh/9JWJ4pjlJonr7
zBGz95myygTQ+y47rRnxwV279v2FommnIF0pzjCuYfuIGaaCshe6pvIJOLdiVh0Y
eCRPVUcXGCCg81CQP3vHAiNm2ocpIYT+P6n9wihvjgh5zpcxjkkJO+aYNIRfHbEo
CQ8zch+UoF6fcMriJU/B0xrJ+ZZYyFuU/9YgOLJf0uBWUVMvKk/pjrLPRlB8OLWE
8PEOUf+OxyAWcGRwapND
=ICmd
-----END PGP SIGNATURE-----