narrow down String type using prisma client's extension?

can I explain to prisma client and typescript that this particular field needs to be a string union?

model Lesson {
  id            Int       @id @default(autoincrement())
  type          String? // null | "practical" | "seminar" | "lecture"

model Lesson {
  id            Int       @id @default(autoincrement())
  type          String? // null | "practical" | "seminar" | "lecture"

model Lesson {
  id            Int       @id @default(autoincrement())
  type          String? // null | "practical" | "seminar" | "lecture"

model Lesson {
  id            Int       @id @default(autoincrement())
  type          String? // null | "practical" | "seminar" | "lecture"