Can you give an example of such language so we don't have to guess?

Apparently neither Rust, Haskell nor Go fit.