Agda.Utils.Tuple
(-*-)
mapFst
mapSnd
(/\)
swap
fst3
snd3
thd3
uncurry3
uncurry4
mapPairM
mapFstM
mapSndM
data List2 a