Handle Error in refutable pattern when pattern matching in do notation
Suppose I have a function func :: a -> m (Maybe b), where m is a monad. Then, in a do for m, I can write
Suppose I have a function func :: a -> m (Maybe b), where m is a monad. Then, in a do for m, I can write