Контекст типа (Haskell)

Контекст типа — в языке программирования Haskell ограничение на типы используемых переменных типа. Ограничения накладываются при помощи связывания с конкретными классами типов. Пример:

max :: Ord a => a -> a -> Bool
max x y | x < y     = y
        | otherwise = x

Функция max имеет в своём типе ограничение на переменную типа a вида (Ord a =>). Это ограничение называется контекстом типа a.