(a -> Maybe b) -> [a] -> [b]
[a] -> Maybe a
[Maybe a] -> [a]
a -> Maybe a -> a
Maybe a -> [a]
Maybe a -> a
Maybe a -> Bool