{-# LANGUAGE TypeOperators #-} module Module.NamespaceExport (type (++)) where data a ++ b = Ctor