- Nothing `eqIfTc_mb` Nothing = Equal
- (Just fam1) `eqIfTc_mb` (Just fam2) = fam1 `eqIfTc` fam2
- _ `eqIfTc_mb` _ = NotEqual
+ Nothing `eqIfTc_fam` Nothing = Equal
+ (Just (fam1, tys1)) `eqIfTc_fam` (Just (fam2, tys2)) =
+ fam1 `eqIfTc` fam2 &&& eqListBy eqIfType tys1 tys2
+ _ `eqIfTc_fam` _ = NotEqual