そうそう
文化で解決しようとする姿勢が
まだまだ未熟な技術という感じなんだよね
型に関する他の技術に比べて型推論はイマイチ