add example using external pelude