14 Sep
2020
14 Sep
'20
11:41 p.m.
On Mon, 14 Sep 2020, Johannes Waldmann wrote:
TypeApplication depends on the order in which type variables are introduced.
https://downloads.haskell.org/ghc/latest/docs/html/users_guide/glasgow_exts....
The easy fix is to declare all type variables.
It still means, that libraries have to maintain order of type variables in order to avoid surprises in client code. Re-ordering introduction of type variables becomes a breaking change - But only if the client code chooses to use TypeApplication.