ptrcmd
says to
YSITD
就像 type 錯的 proposition 一樣 (欸