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