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

module T187 where

import Data.Singletons.Base.TH

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