Здесь http://en.wikibooks.org/wiki/Haskell/Classes_and_types в разделе Наследование класса, я прочитал "Класс может наследовать от нескольких других классов: просто поместите все классы-предки в круглые скобки до того, как = > ".
Я озадачен, когда "(...) = > " описывается как "наследование". Насколько я вижу, это просто ограничение класса. Он просто говорит, что этот новый определенный класс (в примере: Real) применяется к типам, которые уже являются членами (имеют экземпляры) для перечисленных классов (Num и Ord).
Короче говоря, "(...) = > " мне кажется, что он действует как фильтр для качеств, необходимых для типов, для которых могут создаваться экземпляры этого класса, и не действует для увеличения класса или его экземпляры.
Я что-то упустил? Есть ли смысл в том, что "(...) = > " фактически передает что-то от "родителя" к "ребенку"?