[monad.list] changed: from tuple inside bind, cleaner error report if generator has failed