I wasn't able to get the demo code on p 66 and 67 to compile without FlexibleInstances turned on, (not listed in the extensions list)