Daniel Westheide – The trouble with subtyping: An introduction to typebounds and variance