Archived tweet #11189 from the @leastfixedpoint Twitter Archive

33 reduction rules and a bunch of metafunctions, that seems about the right number, I've definitely hit this problem from the correct angle