{-# LANGUAGE TypeOperators #-}

main :: IO ()
main = pure ()

class (c1 a, c2 a) => (c1 & c2) a

instance (c1 a, c2 a) => (c1 & c2) a