HGeometry provides some basic geometry types, and geometric algorithms and
data structures for them. The main two focusses are: (1) Strong type safety,
and (2) implementations of geometric algorithms and data structures with good
asymptotic running time guarantees. Note that HGeometry is still highly experimental, don't be surprised to find bugs.