Add a working example (Wadler's trees)