CSE the template Haskell rules.