-- Slide 37

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

myflip f a1 a2 = f a2 a1