{-# LANGUAGE TypeOperators #-} module IllDataTypeDecl where data (f :+: g) p = L