I ported this to F# so you can mouse over and view the types: http://fssnip.net/q2