@chrispsn it's not easy to track down specific answers, although going forward I'll take notes. at a high level, it generally takes the form of borrowing some neat tricks (e.g.
2&$x
instead of
(#x)#2
), or just wholesale lifting some higher order logic (e.g.
getting the power set of some input)