TODO: - [ ] Deriving `Sing` in TH - [ ] Complete `SpineTagged` datatype utils (like https://hackage.haskell.org/package/tagged/docs/Data-Tagged.html) - [ ] `HasField` TH generation - [x] Fields list per spine (`KnownSymbol`?)