Is the author aware of Dhall? He might be interested. I think it's better in general but in any case it gets away from the "everything has to be a keyed map" s

Is the author aware of Dhall? He might be interested. I think it's better in general but in any case it gets away from the "everything has to be a keyed map" silliness and you get sums/products.