Efficient representable functors
Why do you think that https://github.com/dorchard/type-level-sets is a good alternative to naperian
Efficient representable functors
Why do you think that https://github.com/dorchard/type-level-sets is a good alternative to naperian