Haskell-book/07/src/VarietyPack.purs


1
2
3
4
5
6
7
8
9

module VarietyPack where

import Data.Tuple (Tuple(..))

f :: forall a b c d e g
   . Tuple (Tuple a b) c
  -> Tuple (Tuple d e) g
  -> Tuple (Tuple a d) (Tuple c g)
f (Tuple (Tuple a b) c) (Tuple (Tuple d e) g) = Tuple (Tuple a d) (Tuple c g)