Здравствуйте, Tonal-, Вы писали:

T>Можно ли как-то это унифицировать?

instance Sided s => Eq s where
  a == b = sid a == sid b
instance Sided s => Ord s where
  compare a b = compare (sid a) (sid b)

Надо включить OverlappingInstances и всё что он за ним тянет.