Comment by mamcx

I explore the idea with https://tablam.org (relational + array). I even toyed with making relational queries to make types:

    data Person = User ?except .password ?select .name, .id + Customer ?select .name, .customer_id AS .id

So the types are in full sync when changes on the schema happen. And all of this is type safe.