proof in haskell ?

chapter 12 of birds book mention mike spivey' theorem prover. are there anything available in source code about proof in haskell ? (btw , haskell is a great language ! one of the rare that try to "improve lazyness " ! (chaperter 11) thanks Luc