most likely what you guys are discussing is alread...
# arrow
r
most likely what you guys are discussing is already supported in the recursion schemes library