Our great sponsors
-
Do check out the linear package. It has some complicated parts, but the types work out very nicely. Your Coords type is called V3 in that package, it has a huge list of instances for all kinds of different type classes.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.