The following code demonstrates the issue: https://github.com/jbracker/supermonad/blob/master/examples/applicative/bankers/MainMinimalBug.hs