I think it's a design choice, but it should be made more explicit IMHO.
At least I'd put a warning to prevent the use of types.maybe(types.frozen) which obvoiusly causes the error:
value `undefined` is not assignable to type: `frozen | null`
(Multiple types are applicable and no dispatch method is defined for the union),
I think it's a design choice, but it should be made more explicit IMHO.
At least I'd put a warning to prevent the use of
types.maybe(types.frozen)which obvoiusly causes the error: