blob: 8687447d1684a7e0a124f636614eb0131772de17 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TemplateHaskell #-}
module Main where
import Data.Proxy
import GHC.Generics
import Language.Haskell.TH
main :: IO ()
main = do
putStrLn $([t| Proxy (:*:) |] >>= stringE . pprint)
putStrLn $([t| Proxy '(:*:) |] >>= stringE . pprint)
putStrLn $([t| Proxy '(:) |] >>= stringE . pprint)
|
