higher_kinded
Higher_kinded.Sequence
type witness1
type 'a witness = ('a, witness1) t
val inject : 'a Base.Sequence.t -> 'a witness
val project : 'a witness -> 'a Base.Sequence.t