seventh

seventh : ((listof y) -> y)
purpose: to select the seventh item of a non-empty list