* 核心逻辑：能看到的人数 = 弹出的矮个子数量（count） + （栈顶有更高的人则+1，否则+0）
-- 1. id : α → α (infer: x has fresh type α, body is x)
。夫子是该领域的重要参考
As a consequence of recent legislative activity in [California][cal]
�@�Ȃ��AZenbook SORA��16�^���f�����lj��������̂��\�\ASUS JAPAN�̃��I���E�`�������i�R���V���[�}�[�r�W�l�X���ƕ� �m�[�gPC�v���_�N�g�}�l�[�W���[�j�͏��ヂ�f���̍w���Ғ����̃f�[�^���������B