Characteristic predicate GenericCallable :: GenericCallable
GenericCallable
(
)