Adapt Reducer example to new prelude

'Maybe' now has a 'Pack' instance