It would be nice to have more sophisticated pattern matching in Smyth, such as: - Nested patterns - Sugar for lists