Kind evaluation in HLS

I am curious if there’s a way to see the evaluation of a type family in the Haskell Language Server. For example, I have some type (details not important, just included for the sake of a concrete example) type ThreeHalfLeft = Tensor SU2 (Tensor SU2 SpinHalf SpinHalf) SpinHalf which I can evaluate in ghci by doing: ghci> :k! ThreeHalfLeft ThreeHalfLeft :: [(Natural, Natural)] = ['(1, 2), '(3, 1)] This is great, but it would be really helpful if I could mouse-over the type in VSCode and dire...