WarnValueDiscard
if this tag is set for some monad, then non-unit value discards become warnings in async block, (otherwise they errors).
if this tag is set for some monad, then non-unit value discards become warnings in async block, (otherwise they errors).