private Extension — parametric type A dispatch type used to make file loading extensible by extension name.