ptrcmd
says to
YSITD
不曉得看 HoTT book 的第一章會不會好懂，覺得寫的蠻不錯的