Agda.Utils.Tuple

(-*-)

(/\)

uncurry3