"Everything is fine." What's missing from your current programming world that you think you don't need, but that once you have, you'll wonder how you ever lived without?
More: — Typed and otherwise constrained holes as first-class entities (witness is to exists what lambda is to forall). — Refinement as first-class input or output constraints on functions and modules. — Well-typed prototype inheritance of traits.
Read my blog!