If I could add a thing to go is the ability to add a constructor to a type and make it mandatory. (in other way than making the type not exported)