Railway Oriented Programming III

The first post in this series on ROP covered the high-level concepts of the approach, and then I implemented some code building blocks that allow us to promote functions of various shapes into composable 2-track functions. Here I'd like to share some...