https://github.com/preludejs
https://github.com/appliedblockchain/tsql
https://github.com/appliedblockchain/assert-combinators