14 Sep
2020
14 Sep
'20
7:23 p.m.
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.