koher 8/3/2018 7:41 AM

でも Element の型指定すりゃいいだけな気もするんですよね。

7:42 AM

まあ、サブタイピング考えたらめちゃくちゃ複雑になるかな。