{-# LANGUAGE TemplateHaskell #-} module B where import A -- $([d| foo = $(LitE . StringL . show . isRelevant <$> [t| Ranked 4 Double |]) |]) $([d| foo = $(return $ kaas) |])