User blog comment:ArtismScrub/Generalization of chained arrow notation/@comment-30118230-20180217152738/@comment-32783837-20180217153925

This is pretty hard to define recursively.