Document GHC-08838

[StillerHarpo]

We need a better example here. It seems to be this warning only occurs with nested returns. I tried

f = do
  return (putStrLn "text")
  return ()

which didn't produce that warning

[BinderDavid]

Suggested change

	directly or bind it. If neither is done the monadic computation is never
	directly or bind the result of the computation to a variable. If neither is done the monadic computation is never

[BinderDavid]

Suggested change

	---
	---

[BinderDavid]

Suggested change

	In this example, there is a nested return which is not bound. Therefore the computation `return 10` is not used and can be removed.
	In this example, there is a nested return whose result is not bound to a variable. Therefore the computation `return 10` is not used and can be removed.

[BinderDavid]

Thanks!