он и для

lst :: [a] -> Maybe a
lst (reverse -> x:_) = Just x

говорит что _:_ не проверяется, но хоть для

lst :: [a] -> Maybe a
lst (reverse -> x:_) = Just x
lst (reverse -> [] ) = Nothing

ворнинг не выдает

8.8 еще выдавал

Hask.hs:7:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for `lst': Patterns not matched: _
  |
7 | lst (reverse -> x:_) = Just x
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

но что не матчится даже не пытается угадать

просто для общего развития: кроме линз, какой нормальный максимально обобщённый (Alternative?) способ фильтровать коллекции? Или линзы самый здравый способ, чтобы не юзать частичтый паттерн-матчинг, как в MonadFail, и не писать бойлерплейт в духе _ -> mempty?

7.10 не мог даже это вот чекнуть, но 8.0 уже мог

not :: Bool -> Bool
not b | False <- b = True
      | True  <- b = False

хотя вот только заметил, что ^.. собирает конкретно тип [], а не искомый IsList m, например..

IsList для перегрузки литералов только

8.10 не может проверить и даже не пытается угадать какие конструкторы тут не сматчены:

sig :: Int -> Int
sig x | GT <- compare x 0 = 1
      | EQ <- compare x 0 = 0
      | LT <- compare x 0 = -1

но может чекнуть

sig' :: Int -> Int
sig' x | LT <- cmp0 x = 1
       | EQ <- cmp0 x = 0
       | GT <- cmp0 x = -1
    where cmp0 = compare 0

(подсказать чего не хватает если ветку закомментить все равно не может)

вобщем что-то такое, наверно

mfilter (has _DataConstructor) myCollection

конечно, ^.. это выбор моноида [a], a ^.. b это то же самое что и a ^. b . to (\x -> [x])

не фильтрация, а список таргетов

но задача слишком обобщенная, у коллекции нет filter?

xs & id %~ C.filter (has _X)

ну тут конечно %~ не нужен совсем

хотелось на будущее запомнить прием, для произвольной коллекции: hashMap, nonEmpty, etc (в контексте тайпклассов)

для nonempty сигнатура фильтра уже будет другой, там как раз список нужно вернуть

так что обобщить можно разве что до чего-то вроде

class Filterable s t | s -> t where
 filter :: (a -> Bool) -> s a -> t a

instance Filterable [] []
instance Filterable NonEmpty []
instance Filterable Maybe Maybe

и оного нет в base? O_o

ну судя по тому, что мне ни разу такое обобщение не понадобилось, то скорее всего и не будет

значит одного меня коробит писать конкретику в языке с адхок-полиморфизмом)

есть concatMap, который уже обобщен до Foldable, но он тоже вернет список

да это обобщение уж слишком адхок, чуть ли не костыль