a => a -> a - не одна функция, а шаблон по производству функций вида f :: T -> T, где T реализует Num. Нет?
можно сказать, что Num a => - это неявный параметр, в который будет подставлен словарь класса с соотвествующими функциями для типа T
Обсуждают сегодня