Is there any need to remove this? If it is just for tidiness, then I would prefer to leave it in until we can implement for `[T]`