"Idiomatic Scala" fully verified