Partially applied higher kinds <https://github.com...
# arrow
r