functional programming - What persistent data structure for a set of partially ordered elements? - Theoretical Computer Science Stack Exchange