reorg (still in process)
Learning TH and GHC.Generics and Uniplate.