<> <> <> <<>> Compile CatalogImpl