feat(lean): add example