Loading types-tydefs.disco...
Loaded.
incr : Wahoo → Wahoo
let f = λx : Wahoo. x + 1 in f(3) : ℕ
4
sumTripletList : List(Triplet) → ℕ
21