An automated theorem prover in Haskell.