let eq s t = (s == t)