    {-# LANGUAGE TemplateHaskell #-}
    module TemplateHaskellSplices where

    import TemplateHaskellQuasiquotes

    $([(Double, String)] -> [(Int, String)]
    aDecl)

    foo :: Integer
    foo = Integer -> Integer
    forall a. a -> a
    id $(Double
    Integer
    Double -> Integer
    Integer -> Integer -> Integer
    forall a. Floating a => a
    forall a. Num a => a -> a -> a
    forall a b. (RealFrac a, Integral b) => a -> b
    + :: forall a. Num a => a -> a -> a
    round :: forall a b. (RealFrac a, Integral b) => a -> b
    pi :: forall a. Floating a => a
    anExpression2)