remove necessary arguments
test monad streams
streams and monads