存在型の暗黙展開