{-# LANGUAGE LinearTypes, TemplateHaskell #-}
{-# LANGUAGE NoMonomorphismRestriction #-}

module LinearTH1 where

x1 = [t|Int -> Int|]