Sure, but non-empty lists don't generalise easily to the case where you need the nth element, unless you nest them awkwardly.