lambda1@tg says to YSITD
然後一路抽象化