simplify type constraints