value (EAp (EVar (Tuple _ _)) es)
                                = all value es
value (EAp (EVar (Tuple _ _)) es)
                                = all value es
value (EAp (EVar (Tuple _ _)) es)
                                = all value es