The way it should integrate with typeclasses &...

# functional

[elizarov]

The way it should integrate with typeclasses & HKTs is via inline functions. First define an inline generic higher-order function, like this:

inline fun <S<_>, T> filter(seq: S<T>, predicate: (T) -> Boolean): S<T> given BuildableSequence<S<T>> { ... }