public interface SemigroupK<W extends Kind,T> extends Higher1<W,T>, Semigroup<Higher1<W,T>>
static <T> SemigroupK<Sequence.µ,T>
sequence()
combine, of
static <T> SemigroupK<Sequence.µ,T> sequence()