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