1 2 3 4 5 6 7 8 9
{-# LANGUAGE MultiParamTypeClasses #-} -- Test Trac #3265 module T3265 where data a :+: b = Left a | Right b class a :*: b where {}