Loading collection data...
Collections are a way for you to organize kata so that you can create your own training routines. Every collection you create is public and automatically sharable with other warriors. After you have added a few kata to a collection you and others can train on the kata contained within the collection.
Get started now by creating a new collection.
system give 6 seconds to run this test. maybe you can try again.
A beauty of this Kata is that it's a great first encounter with Van Larhoven lenses itself.
My hope was that would be the case. The "lens use functions" reveal a lot of type information. I could have written them to take types quantified over the functor and profunctor, but that is both non-standard and harder to type-tetris.
I disagree, this is doable by pure type-tetris, with no previous knowledge of the theory.
The goal is precisely to drive people to learn more about van Laarhoven lenses :)