btw, conceptually the same as ‘Step 2’ in From freeing \leftarrow. to better for and unification of direct and monadic style
1 Like
btw, conceptually the same as ‘Step 2’ in From freeing \leftarrow. to better for and unification of direct and monadic style