- | Checks whether an expression is a 'VarAccess'.
isVarAccess :: Expr p -> Bool
isVarAccess VarAccess{} = True

isVarAccess :: Expr p -> Bool
isVarAccess VarAccess{} = True
isVarAccess VarAccess{} = True