diff options
-rw-r--r-- | ws2015/ffp/blaetter/06/FFP_U06_Monaden.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 | |||
86 | 86 | ||
87 | instance Functor (Entweder a) where | 87 | instance Functor (Entweder a) where |
88 | fmap f (Anderes x) = Anderes $ f x | 88 | fmap f (Anderes x) = Anderes $ f x |
89 | fmap _ (Eines x) = Eines x -- Because x@(Either a b) is not (Either a c), even if we can prove that x is Left. | 89 | fmap _ (Eines x) = Eines x -- Because (Either a b) is not (Either a c), even if we can prove that it is Left. |
90 | 90 | ||
91 | instance Applicative (Entweder a) where | 91 | instance Applicative (Entweder a) where |
92 | pure = Anderes | 92 | pure = Anderes |