сравнить содержимое типа Либо

Question

есть способ использовать шаблоны шаблоны для конструкторов типов, чтобы сделать этот уродливый код короче:

eitherCompare (Left a) (Left b) = compare a b 
eitherCompare (Left a) (Right b) = compare a b 
eitherCompare (Right a) (Left b) = compare a b 
eitherCompare (Right a) (Right b) = compare a b 

что-то вроде (не компилируется)

eitherCompare :: Ord a => Either a a -> Either a a -> Ordering 
eitherCompare (_ a) (_ b) = compare a b 

или какой-то другой метод?

Answer 1

Вы не можете сделать это с помощью сопоставления с образцом, но вы можете упростить код, используя вспомогательную функцию:

eitherCompare x y = compare (fromEither x) (fromEither y) 
where fromEither (Left a) = a 
     fromEither (Right a) = a