singletons-2.7: tests/compile-and-dump/Singletons/T401b.hs

module T401b where

import Data.Singletons.TH

$(singletons [d|
  newtype T where
    MkT :: (forall a. a) -> T
  |])