and then al HKTs are expressed like this <https://...

# functional

[raulraja]

and then al HKTs are expressed like this https://github.com/FineCinnamon/Katz/blob/master/katz/src/main/kotlin/katz/typeclasses/HigherKinds.kt