singletons-base-3.5: tests/compile-and-dump/Singletons/T565.hs

module T565 where

import Data.Singletons.TH

$(singletons [d|
  data C a where
    D :: forall {a}. C a
  |])