blob: 89d072c485e80c90694ba784f365b1ea35040aad (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE TemplateHaskell #-}
module TH_Roles1 where
import Language.Haskell.TH
$( return [ DataD [] (mkName "T") [PlainTV (mkName "a")] Nothing [] []
, RoleAnnotD (mkName "T") [RepresentationalR] ] )
|