let d f (a,b) = (f a, f b) and ( ++ ) a b = fun x -> a (b x)
in d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d (* .... each ++ d doubles the # of terms in the resulting type... do this 128 times for C*2^128 terms.... *)