3. (a) Find the type of the -term xyz.zx by building a proof tree. Using this answer or otherwise, write the type of the function -term zxy.zx