finished internal types into M