Experimental project to build type providers using compositional combinators