1fromMaybe :: a -> Maybe a -> a
2fromMaybe a Nothing = a
3fromMaybe _ (Just a') = a'
4