I suppose that most of the data structures which are naturally understandable in their recursive forms (like merge sort) would already be accessible via libraries.