Revert Value from GADT to ADT.
Create Database type.