3 ms·Adtpp: lightweight efficient safe polymorphic algebraic data types for C1 points by mabynogy 9y ago