[Typo] Misplaced parens in MonadLift for transformers

[david-christiansen]

See https://leanprover.zulipchat.com/#narrow/channel/113489-new-members/topic/More.20personal.20type.20confusion.20in.20tutorial/with/560740769

This:

monadLift should distribute over bind so that monadLift (x >>= f : m α) is the same as (monadLift x : m α) >>= fun y => monadLift (f y).

should read

monadLift should distribute over bind so that (monadLift (x >>= f : m α) : n α) is the same as (monadLift (x : m α) : n α) >>= fun (y : α) => (monadLift (f y : m β) : n β).

or even

monadLift should distribute over bind so that (monadLift (x >>= f : m α) : T m α) is the same as (monadLift (x : m α) : T m α) >>= fun (y : α) => (monadLift (f y : m β) : T m β).

[david-christiansen]

The correct text is this, with fixed return types:

monadLift should distribute over bind so that (monadLift (x >>= f : m β) : T m β) is the same as (monadLift (x : m α) : T m α) >>= fun (y : α) => (monadLift (f y : m β) : T m β).