Eta expand (land) and (lor) to fun a b -> a land b