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)