{ emptyRecordLiteral = { , = }
, emptyRecordType = { , }
, emptyList = [,] : List Natural
, emptyUnionType = < | >

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