path: root/testsuite/tests/dependent/should_run/T11964.hs

module T11964 where

import Data.Kind
import T11964a

t1 :: T Type Int
t1 = T ()

t2 :: T Star Int
t2 = T ()