A natural deduction verifier in Haskell