Implicit Parameters in Scala and Haskell

...and also C++ (kinda).