Scalaの型推論の話なんだけど、
型を省略したらstructuralな部分型だと見なし、
nominalに型を指定したいときだけ型注釈を書く、という感じで
OCaml並みの型推論を得る事は出来なかったのかな？