You're effectively using the Kinds as a type facto...
# arrow-contributors
e
You're effectively using the Kinds as a type factory