last question (then I'm going to sleep): why does ...

# arrow-contributors

[Eugenio]

last question (then I'm going to sleep): why does the @higherkind annotation only create a single "partial of" typealias, instead of going all the way down?

typealias Tuple10Of<A, B, C, D, E, F, G, H, I, J> = arrow.Kind10<ForTuple10, A, B, C, D, E, F, G, H, I, J>
typealias Tuple10PartialOf<A, B, C, D, E, F, G, H, I> = arrow.Kind9<ForTuple10, A, B, C, D, E, F, G, H, I>

instead of this

typealias Tuple10Of<A, B, C, D, E, F, G, H, I, J> = arrow.Kind10<ForTuple10, A, B, C, D, E, F, G, H, I, J>
typealias Tuple10PartialOf<A, B, C, D, E, F, G, H, I> = arrow.Kind9<ForTuple10, A, B, C, D, E, F, G, H, I>
typealias Tuple10PartialOf2<A, B, C, D, E, F, G, H> = arrow.Kind8<ForTuple10, A, B, C, D, E, F, G, H>
typealias Tuple10PartialOf3<A, B, C, D, E, F, G> = arrow.Kind7<ForTuple10, A, B, C, D, E, F, G>
typealias Tuple10PartialOf4<A, B, C, D, E, F> = arrow.Kind6<ForTuple10, A, B, C, D, E, F>
typealias Tuple10PartialOf5<A, B, C, D, E> = arrow.Kind5<ForTuple10, A, B, C, D, E>
typealias Tuple10PartialOf6<A, B, C, D> = arrow.Kind4<ForTuple10, A, B, C, D>
typealias Tuple10PartialOf7<A, B, C> = arrow.Kind3<ForTuple10, A, B, C>
typealias Tuple10PartialOf8<A, B> = arrow.Kind2<ForTuple10, A, B>
typealias Tuple10PartialOf9<A> = arrow.Kind<ForTuple10, A>

?