A Haskell implementation of the ideas in the sw17ch/cauterize project.