idris-0.9.9: test/test026/expected

Type checking ./test026.idr
2 : Int
2 : Nat