Define multiple instances simultaneously

MultipleInstances.markdown

Idea from https://gist.github.com/Icelandjack/e1ddefb0d5a79617a81ee98c49fbbdc4

Works great for concrete types

data A = MkA

instance (Eq & Ord & Show & Arbitrary) A where
  (==) :: A -> A -> Bool
  MkA == MkA = True
  
  compare :: A -> A -> Ordering
  MkA `compare` MkA = EQ
  
  show :: A -> String
  show MkA = "MkA"
  
  arbitrary :: Gen A
  arbitrary = pure MkA

We merge the contexts of methods from the same type class just as usual

class  EQ a where  eq :: a -> a -> Bool
class NEQ a where neq :: a -> a -> Bool

newtype C a = C a
  deriving (EQ, NEQ)

instance (EQ a, NEQ a) => Eq (C a) where
  (==) = eq
  (/=) = neq