-- | @'filter' p xs@ removes any elements from @xs@ that do not satisfy @p@.
filter :: (a -> Bool) -> NonEmpty a -> [a]
filter p = List.filter p . toList
filter :: (a -> Bool) -> NonEmpty a -> [a]
filter p = List.filter p . toList
filter p = List.filter p . toList