link to paper that also mentions this (but does not give many details)
authorRalf Jung <post@ralfj.de>
Wed, 17 Jul 2019 19:01:08 +0000 (21:01 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 17 Jul 2019 19:01:08 +0000 (21:01 +0200)
commita859220c739395803573893936de9e11da335e64
treea9706737dedac23d0acb6f019418ba6b3164d562
parent0e1c54dfae146dcdba2f57a3a0f5813d986671aa
link to paper that also mentions this (but does not give many details)
ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md