Length implemented with fold