changed Signature such that it has its one type variable