(module BatTuple.Tuple3)