Export and document $.validate

[dakom]

Type.validate is a useful tool for both getting type validation as an Either, and getting more detailed info about where an error occured

Would be great to have it documented on the public Readme(s) - and to have it exported as a function on sanctuary-def via $.validate() :)

I'd imagine the signature would be something like:

validate :: Type -> a -> Either ErrorMessage a

Not sure what ErrorMessage is though

[janwirth]

New api proposal

const pi = def('myVar')([])($.IntegerType)(3.14)

[davidchambers]

Both the pure function suggested by @dakom and the assertion suggested by @FranzSkuffka are good ideas! I would like to provide both, as they have different use cases.