Be a bit nicer to users.
Revert Value from GADT to ADT.
Create Database type.
Merge branch 'state' of github.com:chrisdotcode/aclick