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

I explore the idea with https://tablam.org 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.