Comonad laws

[pakoito]

This diff adds laws for Comonad, along with tests for all instances.

Turns out Cofree was correctly implemented after all. Huh.

[codecov-io]

Codecov Report

❗ No coverage uploaded for pull request base (master@07abfa0). Click here to learn what that means.
The diff coverage is 1.92%.

@@            Coverage Diff            @@
##             master     #214   +/-   ##
=========================================
  Coverage          ?   51.33%           
  Complexity        ?      205           
=========================================
  Files             ?       99           
  Lines             ?     2168           
  Branches          ?      264           
=========================================
  Hits              ?     1113           
  Misses            ?      947           
  Partials          ?      108

Impacted Files	Coverage Δ	Complexity Δ
...test/src/main/kotlin/kategory/laws/TraverseLaws.kt	8.33% <0%> (ø)	1 <0> (?)
...-test/src/main/kotlin/kategory/laws/ComonadLaws.kt	2.56% <2.56%> (ø)	1 <1> (?)

---

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 07abfa0...9f2514a. Read the comment docs.

[JorgeCastilloPrz]

Shouldn't this commented code get removed ?

[pakoito]

No, it has to be re-enabled after the issue in the fixme is fixed

[JorgeCastilloPrz]

So, it's gonna be fixed prior to merging this or in a different PR ?

[pakoito]

It's an issue on the Kotlin compiler, I may need to add a reference to it: https://youtrack.jetbrains.com/issue/KT-18660