{-# LANGUAGE TemplateHaskell #-}
module TH_localname where

x = \y -> [| y |]