Pattern matching code example: Tree must be covariant in its type parameter

[phaller]

Otherwise,

    case object Empty extends Tree[Nothing]

wouldn't work.

[heathermiller]

This has been resolved by Herr Stucki, I believe :)