Implement roles into Template Haskell.