There was an error while loading. Please reload this page.
namely the diagram at http://docs.scala-lang.org/tutorials/tour/unified-types.html