{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE TemplateHaskell #-}
module TH_reifyLinear where

import Language.Haskell.TH
import System.IO

type T = Int #-> Int

$(
    do x <- reify ''T
       runIO $ hPutStrLn stderr $ pprint x
       return []
 )