Thanks

This kata is seemingly broken at the moment. Is there anyone who can peek into the Spec module and try to figure out what's going on? Much thanks in advance.

You forgot to add "do not be so stupid to do this in haskell" disclaimer! How come, it surely needs to be fixed. Otherwise one would be mad because of his lost fairly obtained points. Other than that, I am very grateful for your work! The platfrom's very essence is now eulogized by the fact that some insidious coq programmer (1 out of 1000000000000000000000000000000000000000000000000000000000000000000000, according to my precise calculations) would not obtain disproportionated points for this matter. Thanks, спасибо, どうもありがとうございます, dziękuję bardzo!

P.S. I think Lensmaker kata is overrated because I've read "Optics by example". Can we fix that?