Slide "Get type references right!"