Написал небольшой плагин для nvim-lsp, который показывает аннотации типов у функций в virtual text.
Лично я его использую с ocaml-lsp, но теоретически он может заработать с другими LSP серверами для языков с выводом типов (типа haskell, f#).
Если кто пишет на таком, можете потестить:
https://github.com/jubnzv/virtual-types.nvim