Dispose mempty is special to avoid thunk