f ((:) a as) = undefined