Читаю Real World Haskell, и я наткнулся на пример в котором => стрелка используется что-то вроде этого,Какова стрелка в объявлении этого экземпляра?
class Borked a where ...
instance (Borked a, Borked b) => Borked (a, b) where ...
Как это отличается от
instance Borked (a, b) where ...
Это означает, что a и b должны быть экземпляры Borked для (a, b), являющийся экземпляром Borked. Поэтому, когда вы пытаетесь вызвать один из методов Borked на кортеже, это разрешено только в том случае, если элементы кортежа также являются экземплярами Borked. Это позволяет использовать методы Borked для элементов кортежа в определении экземпляра.