Utility type Required

Constructs a type consisting of all properties
of Type set to required.