function eqStrict<A>(x: A, y: A): boolean;