{-# LANGUAGE TemplateHaskell #-}
module Main (main) where

t1 :: $( [t| Int |] )
t1 = 1