-- Slide 37

myflip::(a -> a -> b) -> a -> a -> b

myflip f a1 a2 = f a2 a1