update example to show (polymorphic) recursive expression