{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeOperators #-}

class a `Pair` b

class
  a
    `Sum` b

class (f `Product` g) a

class
  ( f
      `Sum` g
  )
    a