Okay~ after some slight changes on test cases, I've ensure that they are identical to the java ones

Thanks for your tips~

Best Regards.

Sadly, I'd been unable to satisfy all your requests above

I'm not sure that QuickCheck library in haskell allow such a variety.

And (maybe ?) its unrealistic to try to "output" something within a Monad in haskell (esp. when it comes to a forAll check)

But I tried my best to cope with the original Java Kata.

Wish you could help me improve this translation together :) .

Haskell Translation submitted, review welcomed

Haskell translation added :) ,review welcomed