-- Identify function -- id x = x Ix = x -- const function in Haskell const x y = x K x y = x -- I think APL does have something similar function S f g z = (f z) (g z) ↓ ↓ h x ⟹ h(x)