Revisited types