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