@@ -1,5 +1,5 @@
-- Slide 37
-myflip::(a -> a -> b) -> a -> a -> b
+myflip::(a -> b -> c) -> b -> a -> c
myflip f a1 a2 = f a2 a1