Deriving types from values is an extremely powerful concept - so much so that I wrote an entire chapter of my book on it.

Source: x.com/mattpocockuk/status/1830546806377238724