:set -XDataKinds
import Data.Proxy
undefined :: '()
undefined :: Proxy '() Int
undefined :: [(), ()]
undefined :: '( '[], '[] )