{-# LANGUAGE ExplicitNamespaces #-}
module Bug310 ( type (+) ) where

import GHC.TypeLits