lax map of monads