>>549
semiring を使うと p-進体上の Haar 測度の構成も楽に出来る。