Life without mapping types (6.0)

I tried to give some thoughts in the other post you sent about this: