(module BatTuple.Tuple4)