{-# htermination maybe :: b -> (a -> b) -> Maybe a -> b #-}
content may be truncated. 'popout' for larger text window.