There’s a conversion of the type to JSON schema under the hood but I don’t have to worry about doing it by hand.