Comment by rtfeldman

TIL that Idris also has a very similar `!` operator (in the prefix position instead of suffix) - thank you for sharing!