1 2 3 4 5 6 7
f :: a -> [a] g :: a -> Maybe a f :: a -> [a] f :: a -> [a] g :: a -> Maybe a f :: a -> [a] g :: a -> Maybe a