pydantic
haskellian
