so for us to define typeclasses over Gen and so in...
# arrow-contributors
p
so for us to define typeclasses over Gen and so in a good way, we need for it to implement
Kind<ForGen, A>