gistfile1.hs

{-# LANGUAGE TemplateHaskell, QuasiQuotes #-}
import Language.Haskell.TH
import Control.Monad
import Control.Applicative

mapMT :: Int -> ExpQ -> ExpQ
mapMT count f = do
  vars <- replicateM count $ newName "x"
  let ops = '(<$>):repeat '(<*>)
  lamE [tupP $ map varP vars] $ foldl (\x -> \(op, y) -> (appE (appE (varE op) x) (appE f (varE y)))) (conE $ tupleDataName count) (zip ops vars)