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