From fa88b23fdc14440de2917a7ede83b8884386cc0d Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Mon, 11 Jul 2016 11:54:16 -0400 Subject: [PATCH] Contrast sums. --- src/Term.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Term.hs b/src/Term.hs index f81da250a..2367b1b73 100644 --- a/src/Term.hs +++ b/src/Term.hs @@ -78,6 +78,7 @@ instance (GAlign f, GAlign g) => GAlign (f :+: g) where where go a b = case (a, b) of (L1 a, L1 b) -> L1 (galignWith f a b) (R1 a, R1 b) -> R1 (galignWith f a b) + (a, b) -> f a b instance (GAlign f, GAlign g) => GAlign (f :*: g) where galignWith f (a1 :*: b1) (a2 :*: b2) = galignWith f a1 a2 :*: galignWith f b1 b2