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.
Adding puzzler 32: 'Type Extortion'
Thanks, @som-snytt!
Formatting change to avoid a line wrap