Add comments around the type projection implicit issue