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