fix types and transducers
benchmark that would fail without transducer constraints