CNP embedded in Haskell This is an archival version of a CNP embedding in Haskell. Today it is entirely obsolete, replaced by the CombInduce project.