1 2 3 4 5
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE ExplicitNamespaces #-} module Bug310 ( type (+) ) where import GHC.TypeLits