singletons-2.4: tests/compile-and-dump/Singletons/T187.hs

module T187 where

import Data.Singletons.TH

$(singletons[d| data Empty
                deriving instance Eq Empty
                deriving instance Ord Empty
              |])