let id a = (a, dep0)