module TypeProf::Core