type parameters _can_ satisfy Callable