{-# 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)