Can you represent a closed network at compile time in F#?

Question

I\'m wanting to represent a directed network graph that is closed, e.g. where the edges would look like:

N1->N2
N2->N3
N3->N1

Where each