Add test-suite validating Id is spec conformant

[phadej]

Test suite code could be generalised to be ~ applicable as is to any implementation.

[SimonRichardson]

Just a quick observation, can you use fantasy-combinators as a minimum for identity and the like.

I'll do a better review when I get time.

[phadej]

@SimonRichardson, I could, but I'd like fantasy-combinators to be autocurried...

[SimonRichardson]

Add an issue to the repo, we can discuss :-)

[phadej]

@SimonRichardson, you have already a PR made about, it's just not merged yet.

[SimonRichardson]

Haha, you know it's bad when you don't remember that you've already made a pull request for it.

[SimonRichardson]

@phadej just waiting to hear back.

[SimonRichardson]

@phadej we should use fantasy-check to verify Id. It will fall in line with other packages in fantasy-land.

[phadej]

Didn't noticed fantasy-check, as it's not under fantasyland group. Looks like you have your own quickcheck clone built-in there. That would be perfect fit for jsverify too :( Feel free to close this.

[SimonRichardson]

@phadej yeah I need to move it in tbh.