{-# LANGUAGE TemplateHaskell #-} module Use where import Define a :: $spliceTyp a = ()