-- 2. The following is the Maybe catamorphism. You can 
--    turn a Maybe value into anything else with this

-- mayybe 0 (+1) Nothing
-- 0

-- mayybe 0 (+1) (Just 1)
-- 2

mayybe :: b 
       -> (a -> b) 
       -> Maybe a 
       -> b
mayybe seed _ Nothing = seed
mayybe :: b 
       -> (a -> b) 
       -> Maybe a 
       -> b
mayybe seed _ Nothing = seed
mayybe seed _ Nothing = seed