предупреждение в ML

может кто-нибудь объяснить, что означает это предупреждение означает?

stdIn:18.35 Warning: calling polyEqual

и почему у меня есть "а, а не" в следующем утверждении:

val alreadyVisited = fn : ''a * ''a list -> bool

это функция:

fun alreadyVisited(v, []) = false
    | alreadyVisited(v, x::xs) = if(x=v) then true
        else alreadyVisited(v, xs);

заранее спасибо