blob: ea28c74921304d5509a52baf90706e1d2de8bef2 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE GADTs #-}
module T5217 where
import Language.Haskell.TH
$([d| data T a b where { T1 :: Int -> T Int Char
; T2 :: a -> T a a
; T3 :: a -> T [a] a
; T4 :: a -> b -> T b [a] } |])
|