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