Fix bugs, reorder recipe processing
MonadFIx instances and the example