Create and use type alias for HK concrete clases and small fixes

[ffgiraldez]

Fix variance on FuntionK.
Suppress unused parameter Aplicative.kt due to dummyparamenter hack

Typealases created:

• EitherKind
• IdKind
• IorKind
• OptionKind

Also return concrete classes instead of HK counterpart on Monads

[codecov]

Codecov Report

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

@@            Coverage Diff            @@
##             master      #56   +/-   ##
=========================================
  Coverage          ?   39.19%           
  Complexity        ?       59           
=========================================
  Files             ?       26           
  Lines             ?      347           
  Branches          ?       42           
=========================================
  Hits              ?      136           
  Misses            ?      195           
  Partials          ?       16

Impacted Files	Coverage Δ	Complexity Δ
katz/src/main/kotlin/katz/arrow/FunctionK.kt	0% <ø> (ø)	0 <0> (?)
...tz/src/main/kotlin/katz/typeclasses/Applicative.kt	18.42% <ø> (ø)	0 <0> (?)
katz/src/main/kotlin/katz/data/NonEmptyList.kt	38.46% <0%> (ø)	9 <0> (?)
...src/main/kotlin/katz/instances/CoproductComonad.kt	0% <0%> (ø)	0 <0> (?)
katz/src/main/kotlin/katz/instances/OptionMonad.kt	80% <0%> (ø)	4 <0> (?)
katz/src/main/kotlin/katz/instances/IdMonad.kt	80% <0%> (ø)	3 <0> (?)
katz/src/main/kotlin/katz/data/Reader.kt	84.61% <100%> (ø)	2 <1> (?)
katz/src/main/kotlin/katz/data/Id.kt	25% <100%> (ø)	1 <1> (?)
katz/src/main/kotlin/katz/data/OptionT.kt	25.92% <100%> (ø)	1 <1> (?)
katz/src/main/kotlin/katz/data/Either.kt	36.84% <100%> (ø)	5 <1> (?)
... 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 35c6d3e...5e532d0. Read the comment docs.

[raulraja]

what is this for?

[ffgiraldez]

Suppress the compile warning for using dummy implicits to hack the type erasure

w: ../katz/katz/src/main/kotlin/katz/typeclasses/Applicative.kt: (50, 9): Parameter 'dummyImplicit' is never used

[pakoito]

LGTM

[raulraja]

why can't it be invariant?

[ffgiraldez]

could be, but compiler warn me about they could have in/out variante in order to be more precise using their types so i add them.

Could let's keep it with in/out, at this point don't hurt and remove a lint warning.

We added deteck, but need could need also a lint (if not implode with our generics 🤣 )

[pakoito]

AFAIK covariant is generally more flexible than invariant, right? Why wouldn't we want it?

[raulraja]

Not saying we don't just curious as they FunctionK in Scala does not need type variance over it's args