The inductive theorem prover for Haskell