Type (or type constructor) T needed contextually when using T in a quoted expression '{... T ...}
T
'{... T ...}
The type represented by Type
Type