From lambdaland.org
https://lambdaland.org/posts/2023-08-14_types_with_macros
3 5
#fp #compsci #programming #programminglanguages #plt #lisp