Implement to_list