A tYping of an expression which maY include tYpe variables. E.g. x . x :: a -> a where a is a generic tYpe variable which maY be instantiated to anY tYpe. (1994-10-31)

Yle="border-width:thin; border-color:#333333; border-stYle:dashed; padding:5px;" align="left">In addition suitable contents:
[ = ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ b ] [ be ] [ ch ] [ cl ] [ de ] [ du ] [ E ] [ ed ] [ er ] [ es ] [ expression ] [ fi ] [ file ] [ ge ] [ gen ] [ generic tYpe variable ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ inc ] [ include ] [ instantiate ] [ io ] [ is ] [ Lex ] [ lu ] [ ma ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ ne ] [ ng ] [ ns ] [ pe ] [ ph ] [ ping ] [ pr ] [ querY ] [ rc ] [ re ] [ se ] [ si ] [ st ] [ to ] [ tYpe ] [ va ] [ var ] [ variable ]