{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE MultiParamTypeClasses #-}

-- Test #3265

module T3265 where

data a :+: b = Left a | Right b

class a :*: b where {}