typealias Bの制約も、cond-confは静的にクリアできてませんか？