removed duplicate typevariables
Small signature improvement
Fixed typevariable ordering