Current implmentation is does expand type synoym for `type` from the `in memory` hieAst. So the forall function hide under type syn is not recognized 1. T1 type syn is expanded since `isFunType` check so. 2. T2 is not, since the check only expand forall. It result in forall hide behide type syn is not expanded <img width="365" alt="image" src="https://github.com/haskell/haskell-language-server/assets/14073857/b684208a-2943-468e-940f-b9fedea31f2a">