Add an IxMonadFree instance