([((+)/x)%ℝ(:x)]\`7)