top :: Reference (Construction branch item) item item
top :: Supertype (Construction branch item `AT` item)

top method gives you an access to a top element in Nonempty List and Tree datastructures.

The opposite method is sub.