Diagonalization/ dupe for monads and tuples?

[Oliver Charles]

On Thu, 17 Sep 2020, at 2:33 PM, Carter Schonwald wrote:
> I’m not sure how fromMaybe relates here.  Could someone explain?

fromMaybe :: a -> Maybe a -> a

is much closer to fromEither :: Either a a -> a (at least to me), than something that takes a function.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200917/d8cbaa25/attachment.html>