SELECT mean(f) FROM (SELECT * FROM m GROUP BY t0) GROUP BY t1