[livecode] Re: Vivid: Create a value of type `I a` where `a` is chosen at runtime