Examples
fun member x nil = false | member x (y::ys) = x = y orelse member x ys;
val member = fn :’’a -> ’’a list -> bool
member 4.5 [3.4,5.6,7.8];
member (“hi”,3,square) [(“there”,6,double)];
A type variable that is restricted to types that admit equality