[Template-haskell] Stuck... is it even possible?