:l test/types-tydefs/types-tydefs.disco
:type incr
:type let f = \(x: Wahoo). x + 1 in f 3
let f = \(x: Wahoo). x + 1 in f 3
:type sumTripletList
let x = [(1,2,3), (4,5,6)] : List(Triplet) in sumTripletList x