packages feed

singletons-base-3.2: tests/compile-and-dump/Singletons/T559.hs

{-# LANGUAGE TypeData #-}
module T559 where

import Data.Singletons.TH

$(singletons [d| type data T = MkT |])