It's like representing the higher kind as the abst...
# arrow
g
It's like representing the higher kind as the abstraction it's yet to define...