typed mexpt