top: Supertype (Nonempty List item `AT` item)
top: Supertype (Tree item `AT` item)

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

The opposite method is sub.