тайпкласс для спископодобных типов

length еще должна быть в тайпклассе, я думаю. А еще вместо take и drop (либо вместе с ними, предоставив реализацию по умолчанию для take и drop) нужна

splitAt :: Int -> [a] -> ([a], [a])

Вобщем, ты меня понял, лор.

foldl в Foldable

вообще то foldr, через него ты можешь выразить все вышеперечисленные функции.

еще конструктор нужен.

вообще то foldr, через него ты можешь выразить все вышеперечисленные функции

А как же байтстринги и прочие массивы ? для них реализация через foldr будет не эффективна. Нужен тайпкласс в котором для методов предоставляется реализация по умлочанию, которую можно заменить на более эффективную

конструктор

В моноиде есть. Речь именно о методах для последовательностей.

А есть ли тайпкласс

Ну, если забить «ListLike» в hoogle, то найдётся пакет http://hackage.haskell.org/package/ListLike. Только тот же cons будет вести себя очень по-разному для разных инстансов.

Ненужно.

А что за тайпклассы со схожим назначением?

Вроде здесь что-то было

http://hackage.haskell.org/package/classy-prelude-0.4.2

Может, и есть. А может, нет, и тогда ты имеешь хорошую возможность сделать его самому.

Только синтаксис будет, скорее, такой:

class ListLike l where
    type Element l
    (!) :: l -> Int -> Element l
    ...

Т.е. там на каждый чих свой тайплкласс.

take :: CanSplitAt c i => i -> c -> c
drop :: CanSplitAt c i => i -> c -> c


...

class CanFilter f i where
filter :: (i -> Bool) -> f

...

class CanLength c len | c -> len where
    length :: c -> len

Даже не знаю что правильнее, в один тайпкласс запихать все методы, или по тайпклассу на метод.

А зачем тут

type Element l

Какой профит перед

class (FoldableLL full item, Monoid full) => ListLike full item | full -> item where

? В ListLike это хорошо решено вроде бы, или с этим будут проблемы ?

А что за тайпклассы со схожим назначением

Да хотя-бы Foldable встречается в нескольких пакетах. Где-то даже видел класс Monad :)

Какой профит перед

Да, в общем-то, однохренственно. Я имел в виду, что «class ListLike (l a)» не заработает.