1 2 3 4 5 6 7 8
{-# LANGUAGE TemplateHaskell #-} module C where import B foo :: a foo = undefined where second = $( expQ )