Solution
= Solution
The most general <type signature> is \b[`foldMaybe :: (a -> b) -> b -> Maybe a -> b`]. The `Nothing` branch returns the default of type `b`; the `Just` branch applies the supplied function to an `a`, also producing a `b`.
= Solution
The most general <type signature> is \b[`foldMaybe :: (a -> b) -> b -> Maybe a -> b`]. The `Nothing` branch returns the default of type `b`; the `Just` branch applies the supplied function to an `a`, also producing a `b`.