Parquet-file-based typed-schema derivation. The typed counterpart of declareColumnsFromParquetFile: instead of binding one Expr per column, it generates a type synonym describing the file's schema, suitable for freeze / readParquet @Schema.

deriveSchemaFromParquetFile "Trips" "trips.parquet"
-- generates:  type Trips = '[ '("id", Int), '("fare", Double), ...]