An educational JSON functor library for teaching recursion-schemes - View it on GitHub