psr-4, implementing PHP::JsonSerializable