ごめんインデントみすった
{-# LANGUAGE ConstraintKinds, TypeFamilies#-}
import GHC.Exts
class C c where
　type Constr c :: * -> GHC.Exts.Constraint
　f :: (Constr c t) => Int -> t

>>697
>コンテキスト制約に使ったクラス ClassB から型 Y のものであることが推論できるように
具体的にどういうコードでどういう推論が起こって欲しい？