Tipagem para Head, Tail e IsEmpty