module TypeProf::LSP