This seems more lower level, and provides building blocks with combinators which seems like a Validation / Applicative approach.

I'm probably just going to use pydantic though.