make validate function more monadic
add sandbox to gitignore
Add cabal file
fix up according to lint