HM moved to CoreTypes