[Haskell-cafe] TypeApplications and Proxy

Henning Thielemann lemming at henning-thielemann.de
Mon Sep 14 19:23:19 UTC 2020

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 

More information about the Haskell-Cafe mailing list