(module BatTuple.Tuple5)