isFlatPat :: Pat NodeInfo -> Bool
isFlatPat (PApp _ _ b) = all isFlatPat b
  where isName (PVar{}) = True
        isName _ = False
isFlatPat :: Pat NodeInfo -> Bool
isFlatPat (PApp _ _ b) = all isFlatPat b
  where isName (PVar{}) = True
        isName _ = False
isFlatPat (PApp _ _ b) = all isFlatPat b
  where isName (PVar{}) = True
        isName _ = False