| isFamilyTyCon c && isTrivial t
  = return $ expandRTypeSynonyms $ t `strengthen` r
  where t = rApp c ts rs mempty

bareTCApp r (Loc _ _ c) rs t
bareTCApp r (Loc _ _ c) rs ts | isFamilyTyCon c && isTrivial t
  = return $ expandRTypeSynonyms $ t `strengthen` r
  where t = rApp c ts rs mempty
bareTCApp r (Loc _ _ c) rs ts | isFamilyTyCon c && isTrivial t
  = return $ expandRTypeSynonyms $ t `strengthen` r
  where t = rApp c ts rs mempty