1 2 3 4 5 6 7
{-# LANGUAGE PolyKinds #-} module Test where import GHC.Exts data Test (a :: TYPE r) = Test !a