Hey, I would like to see : 1. `partition :: (a -> Bool) -> [a] -> ([a], [a])` 2. `safeHead :: [a] -> Maybe a` on the List type, thoughts?