wip
fix: quickcheck is awesome
...
wip
fix: validate
wip