Add Cofree comonad

[pakoito]

Closes #92

[codecov]

Codecov Report

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

@@            Coverage Diff            @@
##             master      #94   +/-   ##
=========================================
  Coverage          ?   50.44%           
  Complexity        ?      143           
=========================================
  Files             ?       65           
  Lines             ?      902           
  Branches          ?      129           
=========================================
  Hits              ?      455           
  Misses            ?      392           
  Partials          ?       55

Impacted Files	Coverage Δ	Complexity Δ
katz/src/main/kotlin/katz/instances/FreeMonad.kt	28.57% <ø> (ø)	0 <0> (?)
katz/src/main/kotlin/katz/typeclasses/Traverse.kt	0% <0%> (ø)	0 <0> (?)
...tz/src/main/kotlin/katz/typeclasses/Applicative.kt	16.94% <12.5%> (ø)	0 <0> (?)
katz/src/main/kotlin/katz/data/Eval.kt	41.26% <44.44%> (ø)	4 <4> (?)
katz/src/main/kotlin/katz/free/Cofree.kt	52.17% <52.17%> (ø)	9 <9> (?)
katz/src/main/kotlin/katz/free/Free.kt	61.76% <56.25%> (ø)	1 <0> (?)
...tz/src/main/kotlin/katz/instances/CofreeComonad.kt	60% <60%> (ø)	2 <2> (?)

---

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 0e5a0ab...351cb3e. Read the comment docs.

[pakoito]

I'm only missing an example of running the monad with binding, if anyone could please provide it.

[pakoito]

StackOverflow fixes required, probably related to Eval.Compute#value() (https://github.com/FineCinnamon/Katz/blob/master/katz/src/main/kotlin/katz/data/Eval.kt#L176)

Stack loop:

katz.Cofree#run
katz.Cofree$run$1$1#invoke
katz.Cofree$run$1$1#invoke
katz.OptionMonad$DefaultImpls#map
katz.Option$Companion#map
katz.Option$Companion#map
katz.Cofree$run$1#invoke
katz.Cofree$run$1#invoke
katz.Eval$map$1#invoke
katz.Eval$map$1#invoke
katz.Eval$Compute$value$1#invoke
katz.Eval$Compute#value
katz.Cofree#run

[raulraja]

Aweosme work @pakoito . Can we add a stack safety test for Eval, I think that is critical to ensure other types built atop eval remain stacksafe

[pakoito]

@raulraja I'm eager to merge this before CI breaks again! I'll add the tests in another PR today.