Types within MHS