I\'m trying to understand why a certain constructor is accepted in one expression but not another. I would have expected it to be out of scope in both.
type z