Simplify T.x instance and add example of higher-kinded parameterisation