let eq s t = (s = t)