((p=>q)=>r) => ((p=>q) =>(p=>r))