>>554にある型情報の型ってどんな情報?
で型はどのように決められるの?