I thought a higher kinded type was `A<B<C&gt...
# arrow-contributors
s
I thought a higher kinded type was
A<B<C>>>