Construct-types-with-Record