From 3624c712d72d246f21d4e710cec7c11e052e0326 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Tue, 9 Dec 2025 16:32:32 +0100 Subject: Add the haskell book --- Haskell-book/07/src/VarietyPack.purs | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 Haskell-book/07/src/VarietyPack.purs (limited to 'Haskell-book/07/src/VarietyPack.purs') diff --git a/Haskell-book/07/src/VarietyPack.purs b/Haskell-book/07/src/VarietyPack.purs new file mode 100644 index 0000000..602ae8d --- /dev/null +++ b/Haskell-book/07/src/VarietyPack.purs @@ -0,0 +1,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) -- cgit v1.2.3