type x = 2 type r's