ConstrainedType, shouldBePossibleToGetValueOfUnderlyingType