This repository was archived by the owner on Jan 17, 2020. It is now read-only.
This repository was archived by the owner on Jan 17, 2020. It is now read-only.
IO should not be instance of MonadPlus #3
Description
IO does not satisfies Distributivity law of MonadPlus: (x <|> y) >>= f == (x >>= f) <|> (y >>= f), see Which satisfieswhat. IO is MonadOr which currently is not defined in purescript-control