1 2 3 4 5 6 7
{-# LANGUAGE LinearTypes, KindSignatures, DataKinds #-} module LinearKind2 where -- T18780 import GHC.Exts import GHC.Types data Two :: FUN One Type Type