namespace ConsumePlugin open System open System.Collections.Generic open System.Text.Json.Serialization [] [] type InnerTypeWithBoth = { [] Thing : Guid Map : Map ReadOnlyDict : IReadOnlyDictionary Dict : IDictionary ConcreteDict : Dictionary } [] [] type JsonRecordTypeWithBoth = { A : int B : string C : int list D : InnerTypeWithBoth E : string array F : int[] }