1 2 3 4 5 6 7
type SomeVariant = variant { variant1; variant2; variant3 }; type RecordType = record { rec_opt: opt SomeVariant; }; service : (RecordType) -> { some_method : () -> (opt text) query }