module T11964 where

import Data.Kind
import T11964a

t1 :: T Type Int
t1 = T ()

t2 :: T Star Int
t2 = T ()