tuple:triplet 1.0 "A" '2B
. tuple = x -> y -> z ->
  : pair x y
  : triplet x y z