From bbd61748ca02d9cc5fb3b8e9c939d154d8a7d3eb Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Thu, 26 Nov 2015 05:05:51 +0100 Subject: typo --- ws2015/ffp/blaetter/06/FFP_U06_Monaden.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ws2015') diff --git a/ws2015/ffp/blaetter/06/FFP_U06_Monaden.hs b/ws2015/ffp/blaetter/06/FFP_U06_Monaden.hs index f444ad0..7add816 100644 --- a/ws2015/ffp/blaetter/06/FFP_U06_Monaden.hs +++ b/ws2015/ffp/blaetter/06/FFP_U06_Monaden.hs @@ -86,7 +86,7 @@ data Entweder a b = Eines a | Anderes b instance Functor (Entweder a) where fmap f (Anderes x) = Anderes $ f x - fmap _ (Eines x) = Eines x -- Because x@(Either a b) is not (Either a c), even if we can prove that x is Left. + fmap _ (Eines x) = Eines x -- Because (Either a b) is not (Either a c), even if we can prove that it is Left. instance Applicative (Entweder a) where pure = Anderes -- cgit v1.2.3