its a type constraint, vs an expression