Experimental project to build type providers using compositional combinators - View it on GitHub