No need to pattern match over empty list
Add another implementation of halve