いや役に立たんだろ
コードを書いてない段階でどうやって(a^2)の2に型を指定するんだ