blob: b60a8db0acbb7d6021e5eeb5074ab37ca4f2e833 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE TypeFamilies #-}
module T9840 where
import Data.Kind (Type)
-- X is an abstract type family (it might be empty or not, though it
-- will turn out to be empty when we check the hs file)
type family X :: Type -> Type where ..
-- F is known to be empty in the hs-boot file
type family F (a :: Type -> Type) where
|