まあそうやってがんばったextensionだと、暗黙変換（というか型が同じ）にできるのは便利だけども。

5:45 AM

antitypical/Result を思い出すｗ