SIMPLIFIED TOO MUCH!!!

Author: bblfish

scala/RDF.scala

@@ -12,31 +12,21 @@ trait RDF:
 
   type R = rdf.type
 
-  type rNode <: Matchable
-  type rURI <: rNode
-  type Node <: rNode
-  type URI <: Node & rURI
+  type Node <: Matchable
+  type URI <: Node
 
   given rops: ROps[R]
-
 end RDF
 
 object RDF:
-  type rNode[R <: RDF] <: Matchable = R match
-    case GetRelNode[n] => n & Matchable
-
-  type rURI[R <: RDF] <: rNode[R] = R match
-    case GetRelURI[n] => n & rNode[R]
-
-  type Node[R <: RDF] <: rNode[R] = R match
-    case GetNode[n] => n & rNode[R]
+ 
+  type Node[R <: RDF] = R match
+    case GetNode[n] => n
 
   type URI[R <: RDF] <: Node[R] = R match
-    case GetURI[u] => u & Node[R] & rURI[R]
+    case GetURI[u] => u & Node[R]
 
-  private type GetRelNode[N <: Matchable] = RDF { type rNode = N }
   private type GetNode[N] = RDF { type Node = N }
-  private type GetRelURI[U] = RDF { type rURI = U }
   private type GetURI[U] = RDF { type URI = U }
 
 end RDF

scala/RDF_Class.scala

@@ -10,35 +10,23 @@ object ClassTypes {
     def value: String
 
   abstract class Uri extends Node
-  abstract class BNode extends Node
-  abstract class Lit extends Node
 
   trait IFactory:
-    def mkBNode(): BNode
     def mkUri(u: String): Uri
-    def mkLit(u: String): Lit
 
   def getFactory: IFactory = AFactory
 
   private object AFactory extends IFactory:
-    var bnode: Int = 0
-    def mkBNode(): BNode =
-      bnode = bnode + 1
-      new BNode { def value = bnode.toString }
     def mkUri(u: String): Uri =
       new Uri { def value = u }
-    def mkLit(u: String): Lit =
-      new Lit { def value = u }
 }
 
 object ClassRDF extends generic.RDF:
   import class_based.ClassTypes as cz
   import generic.*
 
-  override opaque type rNode <: Matchable = cz.Node
-  override opaque type rURI <: rNode = cz.Uri
-  override opaque type Node <: rNode = cz.Node
-  override opaque type URI <: Node & rURI = cz.Uri
+  override opaque type Node <: Matchable = cz.Node
+  override opaque type URI <: Node = cz.Uri
 
   given rops: generic.ROps[R] with
     override def mkUri(str: String): Try[RDF.URI[R]] = Try(

scala/RDF_UsingScalaTrait.scala

@@ -8,10 +8,8 @@ import generic.*
 // todo, put back example using traits only to see if Java is the problem
 object TraitBasedRDF extends RDF:
   lazy val factory: rdfscala.ScalaMkNodes = rdfscala.SimpleScalaNodeFactory
-  override opaque type rNode <: Matchable = rdfscala.TstNode
-  override opaque type rURI <: rNode = rdfscala.URI
-  override opaque type Node <: rNode = rdfscala.TstNode
-  override opaque type URI <: Node & rURI = rdfscala.URI
+  override opaque type Node <: Matchable = rdfscala.TstNode
+  override opaque type URI <: Node = rdfscala.URI
 
   given rops: ROps[R] with
     override def mkUri(str: String): Try[RDF.URI[R]] = Try(