Type parameter removal/simplification