introduces Has.TypeParams