Add simple example for reified functions.