it would definitely be nice to not have to

@frozen_after_init

just to have a non-obvious constructor. that being said, a non-obvious constructor is often a good thing to be aware of.