-record(join, {branches :: list(graded@internal@types:return_provenance())}).