blob: d8b9e00bf33cd44f2e1b7efeea2709dad9e3afcd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE TemplateHaskell, DataKinds, PolyKinds
, TypeInType, TypeApplications, TypeFamilies #-}
module T12045TH1 where
import Data.Kind
import Language.Haskell.TH hiding (Type)
$([d| type family F (a :: k) :: Type where
F @Type Int = Bool
F @(Type->Type) Maybe = Char |])
$([d| data family D (a :: k) |])
$([d| data instance D @Type a = DBool |])
$([d| data instance D @(Type -> Type) b = DChar |])
|
