{-# LANGUAGE TemplateHaskell #-}

[d| data T a where Foo :: T () |]

foo = [d|
           foo:: Int       -> Char
           bar = 42
  |]

[d|
    data T = T
      deriving (Eq, Ord, Enum, Bounded, Show)
  |]

$( do [d| baz = baz |] )

$(singletons [d| data T = T deriving (Eq, Ord, Enum, Bounded, Show) |])

$(singletons [d|
  data T = T
    deriving (Eq, Ord, Enum, Bounded, Show)
 |])


foo = [d|type X = * |]

foo = [d|
  type X = *
  data A
        |]