Welcome! Please see the About page for a little more info on how this works.
Need to consider how we can support primitives for transducers. In particular it may be that IFn needs overloading for L/D in addition to O.