CUE lang [1] is one instance where the idea of data types as lattices is implemented in industry

[1]: https://cuelang.org/docs/concept/the-logic-of-cue/#the-value...