> I don't know if this is only really a problem if you were trying to use Haskell as a theorem prover. Yes, it makes it impossible to use Haskell as anything m

> I don't know if this is only really a problem if you were trying to use Haskell as a theorem prover. Yes, it makes it impossible to use Haskell as anything more than a toy as far as theorem provers go. But that's OK because Haskell is not a theorem prover, it is a programming language!