Josef Svenningsson authored Mar 05, 2020 and Ben Gamari committed Mar 23, 2020

A previous fix for #15344 made sure that monadic 'fail' is used properly
when translating ApplicativeDo. However, it didn't properly account
for when a 'fail' will be inserted which resulted in some programs
failing with a type error.