a -> m, то как из неё линзами получить Monoid m => (a->m) -> (a,a,a,a) -> m? Какой тайпкласс/тайпфемили надо гуглить?
(a,a,a,a) ^. each . to f ?
Это же останется списком, не?
Обсуждают сегодня