%(A:*) %(B:*) %(C:*) @(fst:A) @(snd:B) @(trd:C) (((Triple A) B) C)