These already exist for Located (Segment Closed v n), which
FixedSegment v n is isomorphic to, but adding the instances avoids
having to do the conversion. The Eq instance is useful to prevent
trivial cases of running segmentSegment on overlaping segments.
These already exist for Located (Segment Closed v n), which FixedSegment v n is isomorphic to, but adding the instances avoids having to do the conversion. The Eq instance is useful to prevent trivial cases of running segmentSegment on overlaping segments.