How to Implement Deutsch’s Algorithm in Haskell

/me ponders what Duff's Device would look like in Haskell.

So... how do you test it for correctness???