Agda: std-lib: List: all but last element with snoc

Question

I defined allButLast this way:

allButLast : ∀ {a} {A : Set a} → List A → List A
allButLast l.[] = l.[]
allButLast list = l.reverse (tail\' (l.rev