Data Model-driven application development requires writing lots of boilerplate code and is error prone and difficult to maintain. We are exploring the ways to have a better approach to it by using a more powerful Type System than current mainstream languages provide. Write your Pure Types once, get Persistence and UI layers.