lob's theorem in haskell