1 2 3 4 5 6 7 8 9 10 11 12
{-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE TraceTypeCheck #-} import Internals id x = x data X @a (b :: a) where x :: X (\a b -> '(a, b)) x = undefined