Category: Representing Lists as Binary Trees