let destruct _ = ()