I wrote a forall query over templates!
typedef for T parameter of handle
re-code of transactions