pDot :: ExprPred -> (QIdent -> Bool) -> ExprPred
pDot ep identp (Dot e ident _) = identp ident && ep e
pDot :: ExprPred -> (QIdent -> Bool) -> ExprPred
pDot ep identp (Dot e ident _) = identp ident && ep e
pDot ep identp (Dot e ident _) = identp ident && ep e