Both of those seem like silly, arbitrary limitations. But so it goes...  (in the case of extensions types I understand *why* that is technically, but it still ought to be possible nonetheless).