PreludeList.!!: on empty list