1 2 3 4 5 6 7 8
{-# LANGUAGE TemplateHaskell #-} module TH_Roles1 where import Language.Haskell.TH $( return [DataD [] (mkName "T") [RoledTV (mkName "a") Representational] [] []] )