It's a implementation detail of the prototype toolchain I've been using to test these ideas out that prompting a conversion using an as
does not work. Whether it should is an open question. Is it important to be able to use as
when you can call the initialiser instead?