Fix #13983 by creating a TyConFlavour type, and using it
[ghc.git] / testsuite / tests / typecheck / should_fail / T13983.stderr
1
2 T13983.hs:7:1: error:
3     • Kind variable ‘k’ is implicitly bound in type synonym
4       ‘Wat’, but does not appear as the kind of any
5       of its type variables. Perhaps you meant
6       to bind it (with TypeInType) explicitly somewhere?
7       Type variables with inferred kinds: (k :: *)
8     • In the type declaration for ‘Wat’