each Kind<F, Int> assumes that the context i...
# arrow
g
each Kind<F, Int> assumes that the context is given? Does that make sense?