p_empty :: RDF g => (g -> Triples) -> g -> Bool
p_empty _triplesOf _empty = _triplesOf _empty == []
p_empty :: RDF g => (g -> Triples) -> g -> Bool
p_empty _triplesOf _empty = _triplesOf _empty == []
p_empty _triplesOf _empty = _triplesOf _empty == []