(fun programmable -> [|gate|])