singletons-base-3.3: tests/compile-and-dump/Singletons/T559.hs
{-# LANGUAGE TypeData #-}
module T559 where
import Data.Singletons.TH
$(singletons [d| type data T = MkT |])
{-# LANGUAGE TypeData #-}
module T559 where
import Data.Singletons.TH
$(singletons [d| type data T = MkT |])