:: a -> a -> a
is a type-restricted version of
. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the second.
2004-2013, version 4.2.26