[Haskell-cafe] TypeApplications and Proxy

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Mon Sep 14 19:34:13 UTC 2020

> TypeApplication depends on the
> order in which type variables are introduced. 


The easy fix is to declare all type variables.
Then the first clause of 9.19.2 is enough?

- J.

More information about the Haskell-Cafe mailing list