Without that last map we have a Kind and a ListK
# arrow
s
Without that last map we have a Kind and a ListK