contHoleType (CastIt co _)                    = pFst (coercionKind co)
contHoleType (CastIt co _)                    = pFst (coercionKind co)
contHoleType (CastIt co _)                    = pFst (coercionKind co)