# type-flip
Flip Foo a b = Foo b a