hadronized · March 7, 2019 13:39
diff --git a/Selective.hs b/Selective.hs
 -- Why not this implementation?
 selectM :: (Monad f) => f (Either a b) -> f (a -> b) -> f b
 selectM x y = do
  e <- x
  case e of
    Left  a -> fmap ($a) y
    Right b -> b <$ y
	-- Why not this implementation?
	selectM :: (Monad f) => f (Either a b) -> f (a -> b) -> f b
	selectM x y = do
	e <- x
	case e of
	Left a -> fmap ($a) y
	Right b -> b <$ y