{ emptyList = [] : List Natural, emptyRecordLiteral = {=}, emptyRecordType = {}, emptyUnionType = <  >, list = [1, 2], recordLiteral = { x = 1, y = True }, recordType = { x : Natural, y : Bool }, unionType = < x: Natural | y: Bool > }