idris-0.9.9: test/test026/theOtherType

Nat