For newcomers, the problem is exactly that they don't understand the type system. That's where soft documentation like examples would help a lot. I don't see wh

For newcomers, the problem is exactly that they don't understand the type system. That's where soft documentation like examples would help a lot. I don't see why they would need to be mutually exclusive.