Cool idea: define a function conditionally. Even more powerful than traits

General Usage
7

But if the results of can(getindex, something, index...) can be inferred based only on the argument types, shouldn’t it be zero cost?