Syntax changes due to TypeInType