The down-votes are likely because the example isn't anyhow good.

But the idea to have static prototype types is imho quite interesting on its own. I was thinking a lot about that in the past.

I would love to have JS like objects—but in a static context.

Row polymorphism and extensible records are close but still not there actually.