type check MIt in terms of MPr