equivNode :: (Node -> Node -> Bool) -> (Triple -> Node) -> Triple -> Triple -> Bool
equivNode eqFn exFn t1 t2 = (exFn t1) `eqFn` (exFn t2)
equivNode :: (Node -> Node -> Bool) -> (Triple -> Node) -> Triple -> Triple -> Bool
equivNode eqFn exFn t1 t2 = (exFn t1) `eqFn` (exFn t2)
equivNode eqFn exFn t1 t2 = (exFn t1) `eqFn` (exFn t2)