I think so too. I've extended this frustration to airbnb and to zoning laws. How can they tell me what I can and can not do with MY property? That's insanity! If I want to rent it to different travellers every week, maybe I will find a way to do it, and maybe people should mind their own damn business and stop telling other people how to mind theirs.
You might like Idris. Not nearly as mature as Haskell, but definitely as powerful, with much more reasonability when it comes to performance, thanks to eager evaluation.
Sovereignty goes hand in hand with property