An @impure annotation for functional programming in Scala
Briefly