{-# LANGUAGE TemplateHaskell #-}
t1 :: $( [t|Int|] )
t1 = 1