We considered adding "structural" interfaces, mostly for "specialized" inline functions.
Something very close to F#'s inline functions with constrained type parameters.
This will rely on reflection for regular functions.
So far, not so many use cases + a bit cryptic concept that can be easily overused.