[Template-haskell] TH with implicit parameters?