Hi Maxim

> I'm new to lisps, so take this only as a source of inspiration for your
> work. Racket's contracts have been already mentioned here. Another prior
> art case study is Clojure's spec library:
> -   https://clojure.org/guides/spec
> -   "Maybe Not - Rich Hickey",
>     https://www.youtube.com/watch?v=YR5WdGrpoug

Sorry for the late reply—was checking out the links.

Thanks for the pointers! I find both Racket contracts and Clojure spec
to be too wide in scope (data fuzzing in case of spec, for example) for
a data validation library. Still, I found the confirmation of usefulness
for some of the operators I'm working on, so thanks!

Best of luck,
--
Artyom Bologov