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