I am a long time enthusiast for type level and generic programming in Scala. A few years back worked on getting a decent chunk of Shapeless 2 ported to Scala 3 PR as part of my Google Summer of Code project (though sadly it is blocked by Scala 3 bugs and differences). Since then I have worked on developing perpsective, my own generic programming library for Scala 3.