NodeShape

class Object

trait Matchable

class Any

class ConjRef[Label, Err, Evidence]

class DisjRef[Label, Err, Evidence]

class OrShape[Node, Label, Err, Evidence]

class Pred[Node, Err, Evidence]

class Ref[Label, Err, Evidence]

class RefNot[Label, Err, Evidence]