{-# LANGUAGE TemplateHaskell #-}

module Main where

import Language.Haskell.TH

main = undefined

x = 3

data A = A $( return . (\ts -> foldl AppT (TupleT (length ts)) ts) . replicate x =<< [t| Double |] )