(1)head((p,h,w));=> p
(2)tail((b,k,p,h));=> (k,p,h)
(3)head(((a,b),(c,d)));=> (a,b)
(4)tail(((a,b),(c,d)));=> ((c,d))
(5)head(tail(((a,b),(c,d))));=> (c,d)
(6)tail(head(((a,b),(c,d)))); => (b)
(1)head((p,h,w));=> p
(2)tail((b,k,p,h));=> (k,p,h)
(3)head(((a,b),(c,d)));=> (a,b)
(4)tail(((a,b),(c,d)));=> ((c,d))
(5)head(tail(((a,b),(c,d))));=> (c,d)
(6)tail(head(((a,b),(c,d)))); => (b)