cousin_it comments on A proof of Löb’s theorem in Haskell