하스켈로 입문한 사람이 없어서 vacuously true임