This does rely on the language having a sophisticated-enough type system to be able to extract enough type information for the rules to work in the first place.