[ymeng] Type constraint sample (not finished)