new signature for monads, streams.