Thank you. My understanding was that `typed` should be used when the code is 
meaningful in itself, like here. Is this behaviour expected?

Reply via email to