The Haskell program now knows how to verify the integrity of a PNG file.