Anotating Constructor Parameters (IDP-1047)

[Tom Zeller]

>> It will warn when called with numbering parameters (c:_0) (I don't think that this is
>> fixable)
>
> The second bothers me quite a bit. Otherwise we're going to have to annotate every constructor we have to call, which gets me back into avoiding c'tors altogether.

I hesitate to comment because I don't have strong feelings here, but I
thought the idea was to move away from c:_0 towards annotated
constructors, hence the warnings seemed okay to me.

Tom