Add example of liftM inference failing