Oleg Nizhnikov

Scala Developer

Worked as developer since 2007. First encoutered scala and Haskell in 2012. Authored several open source projects ( tofu, derevo, typed-schema). Actively participated in scala education

We show a new form of data encoding in scala, that's combines power of tagless final and recursion schemes approaches, supports subtyping and HKD form of generalizations. We explore scala 3 powers for derivation and practical usage with a little bit of reference to category theory