singletons-0.10.0: tests/compile-and-dump/Singletons/Empty.hs

module Singletons.Empty where

import Data.Singletons.TH

$(singletons [d|
  data Empty
 |])