We may simply differ here – for me, types are as real as objects. Or, perhaps more accurately, types are as illusory as objects ^_^