Class ImmutableDoubleEmptyList