Construct-types-from-types