It’s still a Kind<ListK, String>
# arrow
s
It’s still a Kind<ListK, String>