Comment by adamthekiwi99

That's right! I think it's a good balance between giving the typechecker the info it needs, but also being flexible in how you can supply it!