WIP smuggle Type Lambda in a TypeDef/TypeTree