Did you mean list<a> -> b? To my mind a transducer is a tranform + reducer

No I meant `a -> List<b>`. This is because a list is itself a fold (which is a reducer with an additional base case).