singletons-1.0: tests/compile-and-dump/Singletons/EqInstances.hs

module Singletons.EqInstances where

import Data.Singletons.TH
import Data.Singletons.Prelude.Bool
import Singletons.Empty
import Singletons.Operators

$(singEqInstances [''Foo, ''Empty])