more Arbitrary instances
egads! catchup commit
Enumerable Join and NEL monad
use NEL in SafeData and ValidationException
remove ValidationState constraint from SafeData
fix compile errors
formatting
more Check classes