typeU = :+:[Bootstrap with KeyTag[Symbol with Tagged[String("bootstrap")], Bootstrap], :+:[Fetch with KeyTag[Symbol with Tagged[String("fetch")], Fetch], :+:[Launch with KeyTag[Symbol with Tagged[String("launch")], Launch], :+:[Resolve with KeyTag[Symbol with Tagged[String("resolve")], Resolve], CNil]]]]