path: root/testsuite/tests/ghci/scripts/T17384.stdout

type role T nominal
type T :: * -> *
data T a where
  MkT :: T (Maybe Bool)
  	-- Defined at T17384.hs:7:1