Prelude: id, init, tail