But we need contracts that go way further what static typing provides. If they add dependant types + ability to enforce the types at runtime so that you can use

But we need contracts that go way further what static typing provides. If they add dependant types + ability to enforce the types at runtime so that you can use it on various inputs, then maybe it will be truly useful.