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.
Try to be as good as my editor wants me to be.

That's easy in this case because he made all the suggestions.

Remaining errors remain my own, including any missing tags.
Merge pull request #68 from som-snytt/puzzle/032-type-extortion

Merging by "lazy consensus". Looking forward to additional comments/amendments/suggestions!