let destruct (#as t) f = f t