It would be nice to be able to mark constructors `...

# language-proposals

[karelpeeters]

It would be nice to be able to mark constructors pure as well when they only return a new instance but don't affect anything otherwise.