Generalised Paths to be paramaterised over their element type (rather than always Ints).