For one thing, inferred types may feel easy to use when implemented (well) but they are not easy to implement.