| /dports/lang/ghc/ghc-8.10.7/libraries/base/Control/Monad/ |
| H A D | Zip.hs | 60 mzipWith = zipWith function
66 mzipWith = NE.zipWith function
77 mzipWith = liftM2 function
81 mzipWith = liftM2 function
85 mzipWith = liftM2 function
89 mzipWith = liftM2 function
93 mzipWith = liftM2 function
97 mzipWith = liftM2 function
110 mzipWith _ _ _ = U1 function
114 mzipWith = liftM2 function
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc710/ |
| H A D | Undefined2.hs | 43 mzipWith f ma mb = liftM (uncurry f) (mzip ma mb) function
54 mzipWith = zipWith function
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/transformers-compat-0.6.6/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/transformers-compat-0.6.6/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/transformers-compat-0.6.6/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/transformers-compat-0.6.6/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/transformers-compat-0.6.6/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/transformers-compat-0.6.6/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/transformers-compat-0.6.6/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/transformers-compat-0.6.6/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/transformers-compat-0.6.6/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/sysutils/hs-cputype/cputype-ad3835a3a2d38aab86c03ed615058da0f1fbf244/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/transformers-compat-0.6.6/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|
| /dports/www/hs-hjsmin/hjsmin-0.2.0.4/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 291 mzipWith f (IdentityT a) (IdentityT b) = IdentityT (mzipWith f a b) function
294 mzipWith f (ListT a) (ListT b) = ListT $ mzipWith (zipWith f) a b function
297 mzipWith f (MaybeT a) (MaybeT b) = MaybeT $ mzipWith (liftA2 f) a b function
300 mzipWith f (ReaderT m) (ReaderT n) = ReaderT $ \ a -> function
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $ function
308 mzipWith f (Strict.WriterT x) (Strict.WriterT y) = Strict.WriterT $ function
313 mzipWith f (Identity x) (Identity y) = Identity (f x y) function
319 mzipWith f (Pair x1 y1) (Pair x2 y2) = Pair (mzipWith f x1 x2) (mzipWith f y1 y2) function
|