032: Type Extortion

Explain unexpected type inference on Option.getOrElse, from the ML.

Extortion metaphor is used because after Boston one can't speak of
a type blowing up.

This example comes close to describing an edge case in a common idiom.