14 Sep
2020
14 Sep
'20
7:34 p.m.
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. Then the first clause of 9.19.2 is enough? - J.