< A : { x : Bool, y : List Text } | B : Optional (List Natural) | C >