This is a feature found in Idris known as ”!”-notation.

Haskell wiki notes that this is a feature that it would have been nice to have in Haskell too.