Comment by nodra

Care to explain? Pattern matching, type inference, etc.?