Type experiments