}
where
-- Split against the family tycon if the pattern constructor
- -- belongs to a representation tycon.
- --
+ -- belongs to a family instance tycon.
boxySplitTyConAppWithFamily tycon pat_ty =
traceTc traceMsg >>
case tyConFamInst_maybe tycon of