What you describe does not really involve kinds bu...

# arrow

[raulraja]

What you describe does not really involve kinds but I get you want to run this kind of stuff over values that are wrapped in list and potentially others