Feature originating in Haskell which allows inference of implicit parameters granting capability to use some functions in a dictionary.

Similar features exist in several newer languages:

  • givens (Scala 3)
  • traits Rust
  • protocols in Swift have some features that approximate this utility I think