Li-Fan Chen
says to
YSITD
type inference concurrency <- 這個我不確定啦 high oreder function