seventh
seventh : ((listof Y) -> Y)
purpose:
to select the seventh item of a non-empty list
Beginning Student Language