Show HN: A Semiring of Functions [pdf]
github.com