ensugars inferred type arguments