Box[A]=Aができる不思議→ガセネタかもしれません

で、その後いろいろ試しても全然うまくいかなくて、そりゃそうだよな、共通の親なら相互に代入できるとかないわーと思って、サンプルコードをとりあえず入力してみたらコンパイルエラー

なんじゃそりゃ。

Productとか全然関係なかったです \(^o^)/ オワタ