module TH_localname where

x = \y -> [| y |]