暗黙の型変換は諦めて、型システムをぶっ壊してしまってるサブタイピングだけは許容しないという方向で行くのが現実的じゃないですかね〜。