On Mon, 14 Sep 2020, Johannes Waldmann wrote: > since GHC has TypeApplication, we don't need Proxy that much? Is it as reliable as Proxy? I remember TypeApplication depends on the order in which type variables are introduced. I am afraid type applications may easily break during refactoring. But I have no experience.