id : (-> a a)
id = (poly b (fn (the b x) x))
id = (poly b (fn (the b x) x))