[dbaupp]

Haskell has it for its type classes in the form of existentials[1] too:

  forall a. SomeClass a => a

in Haskell is quite similar to

  &SomeTrait

in Rust.

[1] http://www.haskell.org/haskellwiki/Existential_type