I wonder what the author thinks of "Fast and loose reasoning is morally correct" (Danielsson, Hughes, Jansson, Gibbons. 2006. https://www.cs.ox.ac.uk/jeremy.gibbons/publications/fast+loo...).
But sadly this paper is pulled out all the time by people who I suspect don't understand what is going on, to justify sleight of hand & dodgy reasoning which has little to do with the result in the paper. (Not claiming that's what's happening in the above comment! But I bristle a bit when I see this paper come up in amateur/Haskell circles.)