Open srid opened 2 years ago
https://www.sciencedirect.com/science/article/pii/S1571066107002514
HOAS GADT
https://www.sciencedirect.com/science/article/pii/S1571066107002514
HOAS GADT