blob: 29b9e1678c4b170caff6a50adfa53471bb26c383 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE TemplateHaskell, PolyKinds, DataKinds #-}
{-# OPTIONS_GHC -Wall #-}
module T8499 where
import Language.Haskell.TH
$( do TyConI (DataD _ _ [KindedTV tvb_a _] _ _ _) <- reify ''Maybe
my_a <- newName "a"
return [TySynD (mkName "SMaybe")
[KindedTV my_a (AppT (ConT ''Maybe) (VarT tvb_a))]
(TupleT 0)] )
|
