>>129
つうか、「⊂」の意味わかってる？
>>125の下側の式は、型エラーだよ。
コンパイルエラーのある意見には、説得力ないんだけど。