Una función de orden superior toma otra función como parámetro o devuelve una. Tipo (Int) -> Booleano significa una función de Int a Booleano. La biblioteca estándar usa esto en todas partes: filtrar, mapear, plegar.