Mix

is a monadic function.