Agda.Utils.Tuple
(-*-)
(/\)
uncurry3