let type_expr expr acc = match expr with ... | Eself -> empty | Enil -> acc empty返しちゃダメだってorz．せめてaccをそのまま返してれば………もっと見つけるのが難しくなったか．