- fun f a b = a = b;
stdIn:348.14 Warning: calling polyEqual
val f = fn : ''a -> ''a -> bool