-- mean filter
([((+)/* 0 (x::Arr (7 × 7) float))%ℝ(:x)] ⨳ {7,7})