Anfonwch hwn fel neges destun: When do types induce the same belief hierarchy?