Add note about Template Haskell and mutual recursion