なぜa.bとa->bという無駄な2種類を用意したんだろう？
他の言語ではaがポインタでもa.bだよね
型から間違いが起きようがないのだからa->bは不要だと思う