[crb002]

I used this on a project. Had a complex business logic I rewrote from Java to Haskell so we could understand the edge cases. Worked out great. Don't be shy about using Haskell as a specification language.