C# samples
http://blog.functorial.com/posts/2010-12-15-Balanced-Trees.html
http://blog.functorial.com/posts/2010-12-05-Greatest-Fixed-Points.html
http://blog.functorial.com/posts/2010-12-06-Conaturals.html