Agda.Utils.Tuple

(-*-)

mapFst

mapSnd

(/\)

swap

Triple (stolen from Data.Tuple.HT)

fst3

snd3

thd3

uncurry3

uncurry4

mapPairM

mapFstM

mapSndM

data List2 a