It was a type parameter in disguise after all