Type signature inside an instance declaration