ch.epfl.yinyang.typetransformers
transform Type1[Type2[...]] => Rep[Type1[Type2[...]]] for non-function types