Господа, иду сейчас по книжке Брагилевского и меня сбивают с
толку две вещи во второй строчке: зачем использовать нотацию вида xs@(_:_) если (на мой непритязательный взгляд) можно обойтись просто xs; и второе: зачем обозначать здесь структуру списка с помощью двух консов?