Use ofoldr for headEx #26