trivially constructible