Exercise 9.2

flip f x y = f y x
flip (flip f) x y 
= flip f y x 
= f x y
∴ flip (flip f) = f

Leave a Reply