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