Wadler's Blog: A combinator library for the design of railway track layouts

wadler.blogspot.com