:: Bool -> a -> a -> a package:tuple-sop

Fold left for n-ary tuples
>>> foldlT (-) 0 (4,3,2,1)
-10
Fold right for n-ary tuples
>>> foldrT (-) 0 (4,3,2,1)
2