Recurseively reify template haskell datatype info
