fixed type parameter and implicit parameter.