Docs: Refer to mempty rather than def (POLA)