Data.Tuple.Linear

valuefst :: Consumable b => (a, b) %1 -> a

valuesnd :: Consumable a => (a, b) %1 -> b

valueswap :: (a, b) %1 -> (b, a)

valuecurry :: ((a, b) %p -> c) %q -> a %p -> b %p -> c

valueuncurry :: (a %p -> b %p -> c) %q -> (a, b) %p -> c