杞人忧天、愚公移山、南柯一梦、程门立雪,哪个不是一类的