{-# LANGUAGE TemplateHaskell #-} module TH.CrossDef where $([d| x = 3 |])