blob: f85c2ecbc9619040ac420e3654bbcac5edd58864 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeFamilies #-}
module T16756a where
import Data.Kind (Type)
type T :: Type -> Type
data family T
-- We do /not/ need to write:
-- data family T a
-- See https://gitlab.haskell.org/ghc/ghc/issues/16756#note_203567
|