singletons-0.10.0: tests/compile-and-dump/Singletons/BadPlus.ghc76.template

Singletons/BadPlus.hs:0:0:
    No type signature for functions: "badPlus"; cannot promote or make singletons.