ToHList

Sugar

ToOptionalData

Algebra

ToOptionalValidation

ValidationDefinition

Token

StringValidation

Transform

Algebra

tDefinition

ListData

toOption

ToOptionalData ToOptionalValidation

toType

CanNotConvert

token

StringValidation

transform

DataDefinitionOp RequiredFieldDefinition