snd (x,y) = y
@inline
-mapFst :: (a -> b) -> (a,c) -> (b,c)
+mapFst :: (a -> <e> b) -> (a,c) -> <e> (b,c)
mapFst f (x,y) = (f x, y)
@inline
-mapSnd :: (a -> b) -> (c,a) -> (c,b)
+mapSnd :: (a -> <e> b) -> (c,a) -> <e> (c,b)
mapSnd f (x,y) = (x, f y)
instance (Ord a, Ord b) => Ord (a, b) where