Add ApplicativeError laws

[pakoito]

This PR adds the laws for ApplicativeError. They add another EQ to the call chain, it wasn't too painful. Depends on #234

[pakoito]

Wrong branch to merge to

[codecov-io]

Codecov Report

Merging #235 into paco-betterjobs will increase coverage by 0.32%.
The diff coverage is 6.38%.

@@                  Coverage Diff                  @@
##             paco-betterjobs     #235      +/-   ##
=====================================================
+ Coverage              49.01%   49.34%   +0.32%     
- Complexity               231      232       +1     
=====================================================
  Files                    103      104       +1     
  Lines                   2395     2438      +43     
  Branches                 285      287       +2     
=====================================================
+ Hits                    1174     1203      +29     
- Misses                  1111     1122      +11     
- Partials                 110      113       +3

Impacted Files	Coverage Δ	Complexity Δ
...st/src/main/kotlin/kategory/laws/MonadErrorLaws.kt	9.09% <0%> (ø)	1 <0> (ø)	⬇️
...ts-test/src/main/kotlin/kategory/laws/AsyncLaws.kt	2.08% <0%> (ø)	1 <0> (ø)	⬇️
kategory/src/main/kotlin/kategory/data/Option.kt	60.41% <100%> (+2.08%)	7 <0> (ø)	⬇️
.../main/kotlin/kategory/laws/ApplicativeErrorLaws.kt	3.22% <3.22%> (ø)	1 <1> (?)
.../src/main/kotlin/kategory/generators/Generators.kt	51.28% <7.69%> (-22.8%)	0 <0> (ø)
...ffects/src/main/kotlin/kategory/effects/data/IO.kt	73.46% <0%> (+1.02%)	10% <0%> (ø)	⬇️
...ects/src/main/kotlin/kategory/effects/data/JobW.kt	50.94% <0%> (+7.54%)	3% <0%> (ø)	⬇️
...n/kotlin/kategory/effects/instances/IOInstances.kt	69.23% <0%> (+7.69%)	0% <0%> (ø)	⬇️
.../main/kotlin/kategory/instances/OptionInstances.kt	66.66% <0%> (+11.11%)	0% <0%> (ø)	⬇️
... and 6 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 175d7f5...7888ede. Read the comment docs.