'Integer' -> 'Int'