> Kategory seems to fix that with annotation p...
# arrow
p
Kategory seems to fix that with annotation processing
No, we use lightweight higher kindred type encoding using extension functions. Lemme link you the explatantions: http://arrow-kt.io/docs/patterns/glossary/

https://youtu.be/s9oMED6ZikQ?t=614