200 B
None
0 👍
0 👎
instance Functor (E l) where _ `fmap` (L x) = L x f `fmap` (R x) = R (f x) instance Applicative (E l) where pure = R (L f) <*> _ = L f (R f) <*> x = f `fmap` x
Comments