--- dependent/should_fail/T11334b.run/T11334b.stderr.normalised 2018-12-30 16:00:25.377677569 +0000+++ dependent/should_fail/T11334b.run/T11334b.comp.stderr.normalised 2018-12-30 16:00:25.377677569 +0000@@ -1,24 +1,13 @@+ghc: panic! (the 'impossible' happened)+ (GHC version 8.7.20181230 for x86_64-unknown-linux):+ ASSERT failed!+ f_aBF[tau:2]+ 2+ 1+ Call stack:+ CallStack (from HasCallStack):+ callStackDoc, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable+ pprPanic, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable+ assertPprPanic, called at compiler/typecheck/TcType.hs:<line>:<column> in <package-id>:TcType-T11334b.hs:8:14:- Cannot default kind variable ‘f0’- of kind: k0 -> *- Perhaps enable PolyKinds or add a kind signature- In an expression type signature: Proxy 'Compose- In the expression: Proxy :: Proxy 'Compose- In an equation for ‘p’: p = Proxy :: Proxy 'Compose--T11334b.hs:8:14:- Cannot default kind variable ‘g0’- of kind: k10 -> k0- Perhaps enable PolyKinds or add a kind signature- In an expression type signature: Proxy 'Compose- In the expression: Proxy :: Proxy 'Compose- In an equation for ‘p’: p = Proxy :: Proxy 'Compose--T11334b.hs:8:14:- Cannot default kind variable ‘a0’- of kind: k10- Perhaps enable PolyKinds or add a kind signature- In an expression type signature: Proxy 'Compose- In the expression: Proxy :: Proxy 'Compose- In an equation for ‘p’: p = Proxy :: Proxy 'Compose+Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug