pub fn instanceof(t: Type) -> Constraint