"Some higher-orderism is in order"da "Look at the type" ifadesine kadar gelindi