> Did we rule out > > Predicate<String> p = (& Serializable) (s) -> s.isEmpty(); > methodExpectingPredicateOfString((& Serializable) String#isEmpty); > > ? I realize it's more language-innovating than the full conjunctive > "cast", but it saves all that redundant text... No, not ruled out.