:: (a -> Bool) -> [a] -> Maybe a package:generic-deriving