{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE TraceTypeCheck #-}

import Internals

id x = x

data X @a (b :: a) where

x :: X (\a b -> '(a, b))
x = undefined