豊福@パパイヤです。

>> 現行のcoerceの理想は
>>   Ba Bb
>>   Aa Ab
>> という計算表がある時に C (= c) というクラスを加えたとき
>>   Ca Cb Cc
>>   Ba Bb Cc = c.coerce(B)c
>>   Aa Ab Cc = c.coerce(A)c
>> これで済むようにしているんですよね. 
> 
>     Ba Bb Bc = c.coerce(B)c
>     Aa Ab Ac = c.coerce(A)c
> ですね。

  すみません。意味を取り違えてました。

元のとおりの
>>   Ba Bb Cc = c.coerce(B)c
>>   Aa Ab Cc = c.coerce(A)c

でいいんでした。
---
                        豊福@パパイヤ
                        unbound / papaya.juice.or.jp
                        toyofuku / juice.or.jp