Primitives

Int

42 // : Int

Float

42.0 // : Float
0.2 // : Float

String

"Hello, World!" // : String

Char

'C' // : Char

List

[1, 2, 3] // : List<Int>

[{x: 1}, {}] // : List<{}>

Record

{ x: 42 } // : { x: Int }

{ x: 42, y: "" } // : { x: Int, y: String }