genericでコンパイルできずに落ちる例とか、直感的ではないinstanciationが行われる例とか見つけたので、明日書こう。