Lovely example of using fuel to debug compiler optimisation passes in GHC: https://blog.ezyang.com/2011/06/debugging-compilers-with-optimization-fuel/