Layer for distributed substituting MPTCs for Template Haskell