module CoreExt::ToJsonWithCoreExtEncoder