[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. 

https://downloads.haskell.org/ghc/latest/docs/html/users_guide/glasgow_exts.html#ordering-of-specified-variables

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