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

import GHC.TypeLits