Leko
says to
YSITD
但是如果我要一個一個 impl 的話