\x.\y. |: ((x%:)`{1∘[1]} (y::M float))