@kururu_goedel: existsはここではdestructできないよと怒られていたのは、要するにsigをdestructしてsigを証明するのはOKだけど、existsをdestructしてsigを証明するのはダメ、ってことでいいんでしょうか。2010-10-28 01:59:42 via Seesmic Desktop @kurur…