In Arrow 0.8.0 which we may release soon, probably next week we are going to have all type class functions exported directly over the wrapped data types. This means that if we have the instances defined for
SortedSetK
,
SortedSet
will also have automatically projected as extension functions all the combinators in