A contribution to the 24 Days of GHC extensions on on template haskell