singletons-base-3.3: tests/compile-and-dump/Singletons/BadBoundedDeriving.hs

module Singletons.BadBoundedDeriving where

import Data.Singletons.TH

$(singletons [d|
  data Foo a = Foo | Bar a deriving (Bounded)
  |])