Add more type predicates

[mxdvl]

Currently, we have:

• isUndefined
• isObject
• isOneOf
• isString
• isBoolean

It might be beneficial to have a validation / parsing that can handle more complex object shapes, such as valibot, zod, runtypes or superstruct

[sndrs]

are you up for discussing this in infra meeting tomorrow? just to expand on the rationale and follow-up recommendation

[mxdvl]

Action: let’s do a mobbing session to get a lay of the land