https://programmable.computer/posts/datakinds_runtime.html
I promised a co-worker that I’d finish up this short post about how to actually use DataKinds with data that isn’t available until program runtime. I’ve found that most “dependent types in Haskell” tutorials don’t quite cover how to get all the way to something useable in a real program. I hope this helps someone!